Logical Querying of Relational Databases
Journal Title: Journal of Economic Development, Environment and People - Year 2016, Vol 5, Issue 4
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.
Authors and Affiliations
Luminiţa Pistol, Radu Bucea-Manea-Ţoniş
Keywords
Related Articles
- EP ID EP246548
- DOI -
- Views 63
- Downloads 0
Ethical Universities of Integrity and Ethics Management in the Romanian
The paper shows that, now, the University is an institution whose goals, valid for each of its members, include development and professional affirmation, the evolution of knowledge and research in the conditions of respe...
RESOURCES FOR APITOURISM IN BULGARIA
Zlatka GRIGOROVA, Stefka TIMAREVA, Ivanka SHOPOVA The report includes an analysis of the situation, trends and prospects of the resource base for the development of apitourism as an unconventional attractive and specia...
Analyzing the Impacts of Restructuring on the Turkish State-Owned Banks
The subject of this research is to compare the performance based on determined criteria of the state owned banks in Turkey before 10 years and after 14 years from 2001 the date they were included in a restructure program...
SOCIAL INTEGRATION OF DISCHARGED MILITARY SERVICEMEN IN BULGARIA
a book review
THEORY AND PRACTICE IN TEACHING ENGLISH ECONOMICSVOCABULARY
The present paper proposes to speak about teaching English economics vocabulary. So, at first, we make references to the key points and the issues which are raised by teaching and learning specific vocabulary: learners u...