Monotonic aggregation in deductive databases

DOI10.1006/JCSS.1997.1453MaRDI QIDQ676422zbMATH OpenOpenAlexFDO

Authors Kenneth A. Ross, Yehoshua Sagiv

Publication date 18 March 1997

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jcss.1997.1453

zbMATH Keywords

deductive databasesminimality

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Towards an efficient evaluation of recursive aggregates in deductive databases
• scientific article; zbMATH DE number 1926634
• scientific article; zbMATH DE number 970737
• Well-founded and stable semantics of logic programs with aggregates
• Logics in Artificial Intelligence

Cites work

• A lattice-theoretical fixpoint theorem and its applications
• Extrema predicates in deductive databases
• Horn clause queries and generalizations
• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 3464827 (Why is no real title available?)
• scientific article; zbMATH DE number 194907 (Why is no real title available?)
• Inference of monotonicity constraints in Datalog programs
• Modular stratification and magic sets for Datalog programs with negation
• The alternating fixpoint of logic programs with negation
• The well-founded semantics for general logic programs

Cited in

(22)

• Towards an efficient evaluation of recursive aggregates in deductive databases
• How expressive is stratified aggregation?
• Inference of monotonicity constraints in Datalog programs
• Modular materialisation of Datalog programs
• Recursive rules with aggregation: a simple unified semantics
• Vicious circle principle, aggregates, and formation of sets in ASP based languages
• The aggregate-monotonic core
• Compositional semantics of SQL: Aggregate functions
• Aggregation in functional query languages
• scientific article; zbMATH DE number 1241673 (Why is no real title available?)
• A datalog-based computational model for coordination-free, data-parallel systems
• scientific article; zbMATH DE number 1368934 (Why is no real title available?)
• scientific article; zbMATH DE number 1926634 (Why is no real title available?)
• scientific article; zbMATH DE number 1453061 (Why is no real title available?)
• ASP-Core-2 input language format
• A declarative extension of horn clauses, and its significance for Datalog and its applications
• Semantics and complexity of recursive aggregates in answer set programming
• scientific article; zbMATH DE number 970737 (Why is no real title available?)
• Preference queries in deductive databases
• Monotonic complements for independent data warehouses
• On acceptance conditions in abstract argumentation frameworks
• Aggregation and well-founded semantics\textsuperscript{+}

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: Monotonic aggregation in deductive databases

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