Datalog and Logic Databases

Datalog and Logic Databases
Author :
Publisher : Springer Nature
Total Pages : 155
Release :
ISBN-10 : 9783031018541
ISBN-13 : 3031018540
Rating : 4/5 (540 Downloads)

Book Synopsis Datalog and Logic Databases by : Sergio Greco

Download or read book Datalog and Logic Databases written by Sergio Greco and published by Springer Nature. This book was released on 2022-05-31 with total page 155 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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. For a long time, relational calculus and algebra were considered the relational database languages. However, there are simple operations, such as computing the transitive closure of a graph, which cannot be expressed with these languages. Datalog is a declarative query language for relational databases based on the logic programming paradigm. One of the peculiarities that distinguishes Datalog from query languages like relational algebra and calculus is recursion, which gives Datalog the capability to express queries like computing a graph transitive closure. Recent years have witnessed a revival of interest in Datalog in a variety of emerging application domains such as data integration, information extraction, networking, program analysis, security, cloud computing, ontology reasoning, and many others. The aim of this book is to present the basics of Datalog, some of its extensions, and recent applications to different domains.


Datalog and Logic Databases Related Books

Datalog and Logic Databases
Language: en
Pages: 155
Authors: Sergio Greco
Categories: Computers
Type: BOOK - Published: 2022-05-31 - Publisher: Springer Nature

DOWNLOAD EBOOK

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 alg
Datalog and Logic Databases
Language: en
Pages: 171
Authors: Sergio Greco
Categories: Computers
Type: BOOK - Published: 2015-11-01 - Publisher: Morgan & Claypool Publishers

DOWNLOAD EBOOK

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 alg
Logic Programming and Databases
Language: en
Pages: 295
Authors: Stefano Ceri
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The topic of logic programming and databases. has gained in creasing interest in recent years. Several events have marked the rapid evolution of this field: the
Principles of Data Integration
Language: en
Pages: 522
Authors: AnHai Doan
Categories: Computers
Type: BOOK - Published: 2012-06-25 - Publisher: Elsevier

DOWNLOAD EBOOK

Principles of Data Integration is the first comprehensive textbook of data integration, covering theoretical principles and implementation issues as well as cur
Foundations of Databases
Language: en
Pages: 766
Authors: Serge Abiteboul
Categories: Computers
Type: BOOK - Published: 1995 - Publisher: Addison Wesley

DOWNLOAD EBOOK

This product is a complete reference to both classical material and advanced topics that are otherwise scattered in sometimes hard-to-find papers. A major effor