Since 2014
Logical Querying of Relational Databases
The Journal of Economic Development, Environment and People
View Archive Info| Field | Value | |
| Title |
Logical Querying of Relational Databases
|
|
| Creator |
Pistol, Luminita
BUCEA-MANEA-TONIS, Radu |
|
| Subject |
—
logic query, propositional logic, predicate, relational database M15 |
|
| Description |
This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database programming. After a short introduction in propositional and first order logic, we implement dynamically a small database and translate some SQL queries in filtered java 8 streams, enhanced with Tuples facilities from jOOλ library.
|
|
| Publisher |
Spiru Haret University
|
|
| Contributor |
—
|
|
| Date |
2016-12-30
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — |
|
| Format |
application/pdf
text/html |
|
| Identifier |
http://ojs.spiruharet.ro/index.php/jedep/article/view/1647
10.26458/jedep.v5i4.518 |
|
| Source |
Journal of Economic Development, Environment and People; Vol 5, No 4 (2016); 58-62
2285-3642 |
|
| Language |
eng
|
|
| Relation |
http://ojs.spiruharet.ro/index.php/jedep/article/view/1647/pdf
http://ojs.spiruharet.ro/index.php/jedep/article/view/1647/html http://ojs.spiruharet.ro/index.php/jedep/article/downloadSuppFile/1647/105 |
|
| Rights |
Copyright (c) 2016 Luminita Pistol, Radu BUCEA-MANEA-TONIS
http://creativecommons.org/licenses/by-nc-sa/4.0 |
|