Loading...

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...

Fuld beskrivelse

Na minha lista:
Bibliografiske detaljer
Main Authors: Luminita Pistol, Radu BUCEA-MANEA-TONIS
Format: Artigo
Sprog:Inglês
Udgivet: Editura Fundatiei Romania de Maine 2016-12-01
Serier:Journal of Economic Development, Environment and People
Fag:
Online adgang:http://ojs.spiruharet.ro/index.php/jedep/article/view/518
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!