Modern Datalog Engines

DOI10.1561/1900000073OpenAlexW4293208303MaRDI QIDQ5101659

Paraschos Koutris, Bas Ketsman

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

database theorydata models and query languagesparallel and distributed database systemsquery processing and optimization

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Distribution policies for Datalog
• Parallel complexity of logical query programs
• On datalog vs polynomial time
• Consistent query answering for primary keys in Datalog
• Datalog and Recursive Query Processing
• On the decidability and axiomatization of query finiteness in deductive databases
• Parallel bottom-up processing of datalog queries
• Improving the variable ordering of OBDDs is NP-complete
• Fixpoint semantics and optimization of recursive Datalog programs with aggregates
• Communication Steps for Parallel Query Processing
• Weaker Forms of Monotonicity for Declarative Networking
• The DLV system for knowledge representation and reasoning
• Relational transducers for declarative networking
• Datalog with Negation and Monotonicity.

This page was built for publication: Modern Datalog Engines