Datalog and recursive query processing

DOI10.1561/1900000017MaRDI QIDQ2872498zbMATH OpenOpenAlexFDO

Authors Todd J. Green, Boon Thau Loo, Wenchao Zhou, Shan Shan Huang

Publication date 15 January 2014

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

Full work available at URL https://semanticscholar.org/paper/ee51d8663cf4702154099194f340759e9cf2fdcb

zbMATH Keywords

aggregatesDatalogincremental view maintenancemagic-sets optimizationsnegationoptimizationquery optimizationsrecursive queriesrecursive query processingsemanticstypes

Mathematics Subject Classification ID

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

Recommendations

• Datalog and logic databases
• Functional queries in datalog
• Database query languages and functional logic programming
• Recursive query processing: The power of logic
• Experimenting with recursive queries in database and logic programming systems
• Datalog extensions for database queries and updates
• Datalog queries distributing over components
• Datalog queries distributing over components

Cited in

(17)

• Datalog: A self-contained tutorial. II
• On the expected size of recursive datalog queries
• Nonrecursive incremental evaluation of Datalog queries
• Modular materialisation of Datalog programs
• HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems
• Maintenance of datalog materialisations revisited
• Datafun: a functional Datalog
• Datalog and logic databases
• Defining Datalog in Rewriting Logic
• scientific article; zbMATH DE number 4106311 (Why is no real title available?)
• scientific article; zbMATH DE number 1515860 (Why is no real title available?)
• Fixpoint semantics and optimization of recursive Datalog programs with aggregates
• Modern Datalog Engines
• Precomputing Datalog evaluation plans in large-scale scenarios
• A declarative extension of horn clauses, and its significance for Datalog and its applications
• Experimenting with recursive queries in database and logic programming systems
• Convergence of datalog over (pre-) semirings

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: Datalog and recursive query processing

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