文章基本信息

标题：Logical Querying of Relational Databases
作者：Pistol, Luminita ; Bucea-Manea-Tonis, Radu
期刊名称：Journal of Economic Development, Environment and People
印刷版ISSN：2285-3642
出版年度：2016
卷号：5
期号：4
页码：58-62
出版社：Alliance of Central-Eastern European Universities
摘要：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.
关键词：logic query; propositional logic; predicate; relational database