On the power of magic
From MaRDI portal
Publication:3210147
DOI10.1016/0743-1066(91)90038-QzbMATH Open0722.68018MaRDI QIDQ3210147FDOQ3210147
Catriel Beeri, Raghu Ramakrishnan
Publication date: 1991
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Recommendations
Cited In (43)
- A transformation system for deductive database modules with perfect model semantics
- Incorporating top-down information into bottom-up hypothetical reasoning
- A Framework for Goal-Directed Query Evaluation with Negation
- The Relationlog system prototype
- On the graph traversal method for evaluating linear binary-chain programs
- Inherent complexity of recursive queries
- Magic Sets and their application to data integration
- CoLab: A hybrid knowledge representation and compilation laboratory
- Implementation of logical query languages for databases
- A Theoretical Framework for the Declarative Debugging of Datalog Programs
- Compilation and evaluation of linear mutual recursions
- Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty
- Graph traversal and top-down evaluation of logic queries
- Title not available (Why is that?)
- Non-horn magic sets to incorporate top-down inference into bottom-up theorem proving
- Magic sets revisited
- Counting and topological order
- An extended constraint deductive database: theory and implementation
- Enhancing Magic Sets with an Application to Ontological Reasoning
- Checking termination of bottom-up evaluation of logic programs with function symbols
- Disjunctive ASP with functions: Decidable queries and effective computation
- Magic sets for disjunctive Datalog programs
- Well-founded semantics and stratification for ordered logic programs
- Incremental reasoning on monadic second-order logics with logic programming
- An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases
- Towards an efficient evaluation of recursive aggregates in deductive databases
- The Magic of ELFs
- A generalization of the differential approach to recursive query evaluation
- GRAMMARS AND AUTOMATA TO OPTIMIZE CHAIN LOGIC QUERIES
- Title not available (Why is that?)
- Logic programming approach to automata-based decision procedures
- Reasoning in description logics by a reduction to disjunctive datalog
- A simple correctness proof for magic transformation
- Title not available (Why is that?)
- Generating Specialized Rules and Programs for Demand-Driven Analysis
- Magic-sets for localised analysis of Java bytecode
- Parallelism in logic programs
- Old Magic Powers
- On the Almighty Wand
- Magic semi-joins
- Complexity of super-coherence problems in ASP
- The pushdown method to optimize chain logic programs
- Loop checking in SLD-derivations by well-quasi-ordering of goals
This page was built for publication: On the power of magic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3210147)