Logical Querying of Relational Databases

Authors

  • Luminita Pistol Spiru Haret
  • Radu BUCEA-MANEA-TONIS Hyperion University

DOI:

https://doi.org/10.26458/jedep.v5i4.518

Keywords:

logic query, propositional logic, predicate, relational database

Abstract

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.   

Author Biography

Radu BUCEA-MANEA-TONIS, Hyperion University

Lecturer at Hyperion University10/2016 – 06/2017Programmer at Stefanini11/2015 – 09/2016Java developer at CORA Romania01/2015 – 06/2015Software analyst at RARTEL S.A.07/2014 – 10/2014Lecturer at SpiruHaret University10/2004 – 10/2013Programmer at The Bucharest University of Economic Studies04/2004 – 01/2006

References

C.J. Date, Baze de date, Editura Plus, 2005, ISBN:973-861-90-1-7

S Bird, E. Klein, E. Loper, Natural Language Processing With Python, Published by O’Reilly Media, Inc., 1005 Gravenstein Highway North, Sebastopol, CA 95472, 2009, ISBN: 978-0-596-51649-9 http://victoria.lviv.ua/html/fl5/NaturalLanguageProcessingWithPython.pdf

Moshe Y. Vardi, I. Barland, B. McMahan, Logic and Database Queries, August 31, 2006, https://www.cs.rice.edu/~tlogic/Database/all-lectures.pdf

GitHub, 2016, https://github.com/jOOQ/jOOL

M. Fusco, Common SQL Clauses and Their Equivalents in Java 8 Streams, 1 Mar 2015, https://blog.jooq.org/2015/08/13/common-sql-clauses-and-their-equivalents-in-java-8-streams/

StackOverflow, SQL WHERE condition, not equal to?, 2016 http://stackoverflow.com/questions/6156979/sql-where-condition-not-equal-to

Downloads

Additional Files

Published

2016-12-30

How to Cite

Pistol, L., & BUCEA-MANEA-TONIS, R. (2016). Logical Querying of Relational Databases. Journal of Economic Development, Environment and People, 5(4), 58–62. https://doi.org/10.26458/jedep.v5i4.518

Issue

Section

Articles