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

logic programmingDatalogrelational database

Mathematics Subject Classification ID

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

Recommendations

• Datalog: A self-contained tutorial. II
• Extending Datalog with arrays
• Datalog and recursive query processing
• Publication:4508941
• Datalog extension for nested relations

Cited in

(15)

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

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)