Magic sets and other strange ways to implement logic programs (extended abstract)
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Efficient evaluation of right-, left-, and multi-linear rules
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Indefinite and maybe information in relational databases
ACM Transactions on Database Systems (TODS)
A fixpoint semantics for disjunctive logic programs
Journal of Logic Programming
Journal of Logic Programming
Efficient bottom-up computation of queries on stratified databases
Journal of Logic Programming
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
The near-Horn approach to disjunctive logic programming
ELP'91 Conference Proceedings on Extensions of logic programming
Logical query optimization by proof-tree transformation
PODS '89 Selected papers of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Modular stratification and magic sets for Datalog programs with negation
Journal of the ACM (JACM)
Probabilistic deductive databases
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
ACM Transactions on Database Systems (TODS)
A characterization of the partial stable models for disjunctive deductive databases
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Optimization of disjunctive queries
Proceedings of the 1999 international conference on Logic programming
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Default Logic as a Query Language
IEEE Transactions on Knowledge and Data Engineering
Semantics of Disjunctive Deductive Databases
ICDT '92 Proceedings of the 4th International Conference on Database Theory
LPKR '97 Selected papers from the Third International Workshop on Logic Programming and Knowledge Representation
Binding Propagation in Disjunctive Databases
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
The PushDown Method to Optimize Chain Logic Programs (Extended Abstract)
ICALP '95 Proceedings of the 22nd International Colloquium on Automata, Languages and Programming
Partial Evaluation and Relevance for Approximations of Stable Semantics
ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
A Deductive System for Non-Monotonic Reasoning
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Generalized Query Answering in Disjunctive Deductive Databases: Procedural and Non-Monotonic Aspects
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs
ICLP '94/NMELP '94 Selected papers from the Workshop on Non-Monotonic Extensions of Logic Programming
A general Approach to Bottom-Up Computation of Disjunctive Semantics
ICLP '94/NMELP '94 Selected papers from the Workshop on Non-Monotonic Extensions of Logic Programming
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
SATCHMO: A Theorem Prover Implemented in Prolog
Proceedings of the 9th International Conference on Automated Deduction
Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Uniform proofs and disjunctive logic programming
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Querying inconsistent databases
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
On the rewriting and efficient computation of bound disjunctive datalog queries
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Optimization of bound disjunctive queries with constraints
Theory and Practice of Logic Programming
Magic Sets and their application to data integration
Journal of Computer and System Sciences
Experimenting with recursive queries in database and logic programming systems
Theory and Practice of Logic Programming
Complexity results for answer set programming with bounded predicate arities and implications
Annals of Mathematics and Artificial Intelligence
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
The consistency extractor system: Answer set programs for consistent query answering in databases
Data & Knowledge Engineering
Disjunctive asp with functions: Decidable queries and effective computation*
Theory and Practice of Logic Programming
Dynamic Magic Sets and super-coherent answer set programs
AI Communications - Answer Set Programming
Dynamic magic sets for programs with monotone recursive aggregates
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Data integration and answer set programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Magic sets and their application to data integration
ICDT'05 Proceedings of the 10th international conference on Database Theory
Consistent query answers in virtual data integration systems
Inconsistency Tolerance
Magic Sets for disjunctive Datalog programs
Artificial Intelligence
Magic-Sets for datalog with existential quantifiers
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
| Hi-index | 0.00 |
This paper presents a technique for the optimization of bound queries on disjunctive deductive databases. The optimization is based on the rewriting of the source program into an equivalent program which can be evaluated more efficiently. The proposed optimization reduces the amount of data needed to answer the query and, consequently, 1) reduces the complexity of computing a single model and, more importantly, 2) greatly reduces the number of models to be considered. Although, in this paper, we consider the application of the magic-set method, other rewriting techniques defined for special classes of queries can also be applied. To show the relevance of our technique, we have implemented a prototype of an optimizer. Several experiments have confirmed the value of the technique.