Datalog and Logic Databases by Sergio Greco
English | PDF(True) | 2015 | 171 Pages | ISBN : 1627051139 | 1.17 MB
The use of logic in databases started in the late 1960s. In the early 1970s Codd formalized databases in terms of the relational calculus and the relational algebra. A major influence on the use of logic in databases was the development of the field of logic programming. Logic provides a convenient formalism for studying classical database problems and has the important property of being declarative, that is, it allows one to express what she wants rather than how to get it.
