A declarative extension of horn clauses, and its significance for Datalog and its applications

DOI10.1017/S1471068413000380MaRDI QIDQ5398299zbMATH OpenOpenAlexFDO

Authors Mirjana Mazuran, Edoardo Serra, Carlo Zaniolo

Publication date 27 February 2014

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068413000380

zbMATH Keywords

Dataloghorn clausesmonotonic aggregatesstable models

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Semantics in the theory of computing (68Q55)

Recommendations

• Fixpoint semantics and optimization of recursive Datalog programs with aggregates
• Datalog extensions for database queries and updates
• Datalog: A self-contained tutorial. II
• Datalog and recursive query processing
• scientific article; zbMATH DE number 1926634

Cites work

• A declarative extension of horn clauses, and its significance for Datalog and its applications
• How expressive is stratified aggregation?
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 1024673 (Why is no real title available?)
• Monotonic aggregation in deductive databases
• The expressive power of stratified logic programs
• The Semantics of Predicate Logic as a Programming Language

Cited in

(8)

• Extending Horn clause logic with implication goals
• scientific article; zbMATH DE number 4160108 (Why is no real title available?)
• On Bounded Database Schemes and Bounded Horn-Clause Programs
• scientific article; zbMATH DE number 4125378 (Why is no real title available?)
• Scaling-up reasoning and advanced analytics on BigData
• Fixpoint semantics and optimization of recursive Datalog programs with aggregates
• A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation
• A declarative extension of horn clauses, and its significance for Datalog and its applications

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: A declarative extension of horn clauses, and its significance for Datalog and its applications

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