|
|
|
|
|
Luminita Pistol,Radu BUCEA-MANEA-TONIS
Pág. 58 - 62
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 filt...
ver más
|
|
|
|
|