Logical Querying of Relational Databases

Luminita Pistol, Radu BUCEA-MANEA-TONIS

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.  

 


Keywords


logic query, propositional logic, predicate, relational database

Full Text:

PDF HTML

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




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

Refbacks

  • There are currently no refbacks.




Copyright (c) 2016 Luminita Pistol, Radu BUCEA-MANEA-TONIS

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.


INDEXING

 

Environmental Science Journals,<br /> Natural Science Journals, SciTech Journals, Illustrata: Natural Science ICV 2015: 81.51DOAJREPEC   citefactor researcherid ECONBIZ ERIHPLUS     Sherpa" researchbib Gale Base    

Ulrichs     Stanford    

cornelniv    oclc     Toc     google
    ez3     ilinois sjif ohs 




Administred: Rocsana B. Manea Tonis

http://icourses.wix.com/itmk 

.