Logical Querying of Relational Databases
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 faci...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Editura Fundatiei Romania de Maine
2016-12-01
|
| Series: | Journal of Economic Development, Environment and People |
| Subjects: | |
| Online Access: | http://ojs.spiruharet.ro/index.php/jedep/article/view/518 |
| _version_ | 1818136492736774144 |
|---|---|
| author | Luminita Pistol Radu BUCEA-MANEA-TONIS |
| author_facet | Luminita Pistol Radu BUCEA-MANEA-TONIS |
| author_sort | Luminita Pistol |
| collection | DOAJ |
| 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. |
| first_indexed | 2024-12-11T09:41:16Z |
| format | Article |
| id | doaj.art-aca2b2bb210141f89e45df3cf2b5d8dc |
| institution | Directory Open Access Journal |
| issn | 2285-3642 |
| language | English |
| last_indexed | 2024-12-11T09:41:16Z |
| publishDate | 2016-12-01 |
| publisher | Editura Fundatiei Romania de Maine |
| record_format | Article |
| series | Journal of Economic Development, Environment and People |
| spelling | doaj.art-aca2b2bb210141f89e45df3cf2b5d8dc2022-12-22T01:12:40ZengEditura Fundatiei Romania de MaineJournal of Economic Development, Environment and People2285-36422016-12-01545862474Logical Querying of Relational DatabasesLuminita Pistol0Radu BUCEA-MANEA-TONIS1Spiru HaretHyperion UniversityThis 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.http://ojs.spiruharet.ro/index.php/jedep/article/view/518logic query, propositional logic, predicate, relational database |
| spellingShingle | Luminita Pistol Radu BUCEA-MANEA-TONIS Logical Querying of Relational Databases Journal of Economic Development, Environment and People logic query, propositional logic, predicate, relational database |
| title | Logical Querying of Relational Databases |
| title_full | Logical Querying of Relational Databases |
| title_fullStr | Logical Querying of Relational Databases |
| title_full_unstemmed | Logical Querying of Relational Databases |
| title_short | Logical Querying of Relational Databases |
| title_sort | logical querying of relational databases |
| topic | logic query, propositional logic, predicate, relational database |
| url | http://ojs.spiruharet.ro/index.php/jedep/article/view/518 |
| work_keys_str_mv | AT luminitapistol logicalqueryingofrelationaldatabases AT radubuceamaneatonis logicalqueryingofrelationaldatabases |