Datalog and logic databases

DOI10.2200/S00648ED1V01Y201505DTM041MaRDI QIDQ3453389zbMATH OpenOpenAlexFDO

Authors Sergio Greco, Cristian Molinaro

Publication date 23 November 2015

Published in Synthesis Lectures on Data Management (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2200/s00648ed1v01y201505dtm041

zbMATH Keywords

Dataloglogic programmingrelational database

Mathematics Subject Classification ID

Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17) Database theory (68P15)

Recommendations

• Datalog: A self-contained tutorial. II
• Extending Datalog with arrays
• Datalog and recursive query processing
• scientific article; zbMATH DE number 1515860
• Datalog extension for nested relations

Cited in

(17)

• Datalog vs first-order logic
• Datalog: A self-contained tutorial. II
• Vadalog: recent advances and applications
• Datalog and recursive query processing
• Datafun: a functional Datalog
• Defining Datalog in Rewriting Logic
• Logic Programming Languages for Databases and the Web
• scientific article; zbMATH DE number 3936550 (Why is no real title available?)
• scientific article; zbMATH DE number 1303988 (Why is no real title available?)
• scientific article; zbMATH DE number 1515860 (Why is no real title available?)
• Datalog and Its Extensions for Semantic Web Databases
• scientific article; zbMATH DE number 219218 (Why is no real title available?)
• scientific article; zbMATH DE number 1390361 (Why is no real title available?)
• Datalog: Bag Semantics via Set Semantics
• Modern Datalog Engines
• Datalog with Negation and Monotonicity.
• The Choice Construct in the Soufflé Language

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: Datalog and logic databases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3453389)