Modern Datalog Engines

DOI10.1561/1900000073MaRDI QIDQ5101659zbMATH OpenOpenAlexFDO

Authors Bas Ketsman, Paraschos Koutris

Publication date 30 August 2022

Published in Foundations and Trends® in Databases (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1561/1900000073

zbMATH Keywords

data models and query languagesdatabase theoryparallel and distributed database systemsquery processing and optimization

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Datalog and logic databases
• Datalog extensions for database queries and updates
• Datalog and recursive query processing
• scientific article; zbMATH DE number 3936550
• Modular materialisation of Datalog programs
• Datalog and Its Extensions for Semantic Web Databases
• Recent advances in Datalog^

Cites work

• Communication steps for parallel query processing
• Consistent query answering for primary keys in Datalog
• Datalog and recursive query processing
• Datalog with Negation and Monotonicity.
• Distribution policies for Datalog
• Fixpoint semantics and optimization of recursive Datalog programs with aggregates
• scientific article; zbMATH DE number 4049157 (Why is no real title available?)
• scientific article; zbMATH DE number 1305103 (Why is no real title available?)
• scientific article; zbMATH DE number 1953133 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• Improving the variable ordering of OBDDs is NP-complete
• On datalog vs polynomial time
• On the decidability and axiomatization of query finiteness in deductive databases
• Parallel bottom-up processing of datalog queries
• Parallel complexity of logical query programs
• Relational transducers for declarative networking
• The DLV system for knowledge representation and reasoning
• Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the CALM-conjecture

Describes a project that uses

Uses Software

• Naiad
• Dyna
• BigDatalog
• ns-3
• Flix
• Apache Spark
• Vadalog
• SociaLite
• Pregel
• MapReduce
• Datalog

This page was built for publication: Modern Datalog Engines

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