Book Name: Datalog and Logic Databases
Author: Cristian Molinaro, Sergio Greco
Publisher: Morgan & Claypool Publishers
File size: 1.17 MB
File format: PDF
Datalog and Logic Databases Pdf Book Description:
Using logic in databases began from the late 1960s. From the early 1970s Codd formalized databases concerning the relational calculus and the relational algebra. A significant influence on the usage of logic in databases has been that the maturation of the discipline of logic programming. Logic gives a convenient formalism for analyzing classical database issues and also has the important property of being declarative, in other words, it enables one to state what she needs rather than just how to receive it. For quite a while, relational calculus and algebra were believed the relational database formats. But, there are simple operations, like calculating the transitive closure of a chart, which can’t be expressed with all these languages.
Among those peculiarities that distinguishes Datalog from query languages such as relational algebra and calculus is recursion, which provides Datalog the capacity to convey questions like calculating a graph transitive closure. Recent years have seen a revival of interest in Datalog in an assortment of emerging application domains including information integration, data extraction, media, program evaluation, safety, cloud computing, ontology justification, and several more. The intention of this publication is to show the fundamentals of Datalog, a number of its extensions, and recent software to distinct domains.