Modular stratification and magic sets for Datalog programs with negation

DOI10.1145/195613.195646zbMATH Open0830.68028OpenAlexW2061565124MaRDI QIDQ4327632FDOQ4327632

Authors: Kenneth A. Ross 

Publication date: 10 April 1995

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/195613.195646

Recommendations

• Magic sets for disjunctive Datalog programs
• scientific article; zbMATH DE number 7453118
• The generalized supplementary magic-sets transformation for stratified Datalog
• Dynamic magic sets for disjunctive Datalog programs
• Logic Programming
• Modular materialisation of Datalog programs
• scientific article; zbMATH DE number 1059307
• Constructive negation and constraint logic programming with sets
• Modularization of logic programs

zbMATH Keywords

rule rewritingmodular stratification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic programming (68N17)

Cited In (21)

• A model building framework for answer set programming with external computations
• The generalized supplementary magic-sets transformation for stratified Datalog
• Static filtering on stratified programs
• An algebraic construction of the well-founded model
• The limits of fixed-order computation
• Answer Set Programming: A Primer
• Magic Sets and their application to data integration
• Monotonic aggregation in deductive databases
• ADDING PROBABILITIES AND RULES TO OWL LITE SUBSETS BASED ON PROBABILISTIC DATALOG
• Functional queries in datalog
• Preference queries in deductive databases
• Maintenance of datalog materialisations revisited
• An abstract machine for fixed-order dynamically stratified programs
• Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs
• Enhancing Magic Sets with an Application to Ontological Reasoning
• Magic sets for disjunctive Datalog programs
• Database Theory - ICDT 2005
• Title not available (Why is that?)
• Combining nonmonotonic knowledge bases with external sources
• Backchain iteration: Towards a practical inference method that is simple enough to be proved terminating, sound, and complete
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation

Uses Software

• Datalog

This page was built for publication: Modular stratification and magic sets for Datalog programs with negation

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