On the power of magic
From MaRDI portal
Publication:3210147
DOI10.1016/0743-1066(91)90038-QzbMATH Open0722.68018MaRDI QIDQ3210147FDOQ3210147
Authors: Catriel Beeri, Raghu Ramakrishnan 
Publication date: 1991
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Recommendations
Cited In (43)
- Grammars and automata to optimize chain logic queries
- A transformation system for deductive database modules with perfect model semantics
- Incorporating top-down information into bottom-up hypothetical reasoning
- The Relationlog system prototype
- On the graph traversal method for evaluating linear binary-chain programs
- Disjunctive ASP with functions: decidable queries and effective computation
- 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
- An improved depth-first control strategy for query-subquery nets in evaluating queries to Horn knowledge bases
- Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty
- Graph traversal and top-down evaluation of logic queries
- Title not available (Why is that?)
- Magic sets revisited
- Counting and topological order
- An extended constraint deductive database: theory and implementation
- Checking termination of bottom-up evaluation of logic programs with function symbols
- 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
- Towards an efficient evaluation of recursive aggregates in deductive databases
- The Magic of ELFs
- A generalization of the differential approach to recursive query evaluation
- 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?)
- Non-Horn magic sets to incorporate top-down inference into bottom-up theorem proving
- A framework for goal-directed query evaluation with negation
- Generating Specialized Rules and Programs for Demand-Driven Analysis
- Magic-sets for localised analysis of Java bytecode
- Enhancing magic sets with an application to ontological reasoning
- 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)
