A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Logic-based approach to semantic query optimization
ACM Transactions on Database Systems (TODS)
Containment and minimization of positive conjunctive queries in OODB's
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Conjunctive query containment with respect to views and constraints
Information Processing Letters
Deciding containment for queries with complex objects (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the complexity of the containment problem for conjunctive queries with built-in predicates
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Type inference for queries on semistructured data
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Testing implications of data dependencies
ACM Transactions on Database Systems (TODS)
Horn clauses and database dependencies
Journal of the ACM (JACM)
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On XML integrity constraints in the presence of DTDs
Journal of the ACM (JACM)
Main Memory Orientated Optimization of OO Queries Using Typed Datalog with Foreign Predicates
IEEE Transactions on Knowledge and Data Engineering
Object Exchange Across Heterogeneous Information Sources
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
An Equational Chase for Path-Conjunctive Queries, Constraints, and Views
ICDT '99 Proceedings of the 7th International Conference on Database Theory
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Answering queries using views: A survey
The VLDB Journal — The International Journal on Very Large Data Bases
Object/relational query optimization with chase and backchase
Object/relational query optimization with chase and backchase
Interaction between path and type constraints
ACM Transactions on Computational Logic (TOCL)
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data exchange: semantics and query answering
Theoretical Computer Science - Database theory
Query reformulation with constraints
ACM SIGMOD Record
Rewriting queries using views with access patterns under integrity constraints
Theoretical Computer Science
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
QUIST: a system for semantic query optimization in relational databases
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Conjunctive query containment and answering under description logic constraints
ACM Transactions on Computational Logic (TOCL)
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Type inference for datalog and its application to query optimisation
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
SPROUT: Lazy vs. Eager Query Plans for Tuple-Independent Probabilistic Databases
ICDE '09 Proceedings of the 2009 IEEE International Conference on Data Engineering
Generalized schema-mappings: from termination to tractability
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On chase termination beyond stratification
Proceedings of the VLDB Endowment
Type inference for datalog with complex type hierarchies
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Semantic query optimization in the presence of types
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications
LICS '10 Proceedings of the 2010 25th Annual IEEE Symposium on Logic in Computer Science
Chase termination: a constraints rewriting approach
Proceedings of the VLDB Endowment
Artifact systems with data dependencies and arithmetic
Proceedings of the 14th International Conference on Database Theory
Inference of well-typings for logic programs with application to termination analysis
SAS'05 Proceedings of the 12th international conference on Static Analysis
Hi-index | 0.00 |
Both semantic and type-based query optimization rely on the idea that queries may exhibit non-trivial rewritings if the state space of the database is restricted. While these two problems have always been studied as separate problems in previous work, in this paper we present a unifying, logic-based query optimization framework that builds upon the classical chase algorithm and brings both problems together. As a major challenge, our novel setting requires chasing conjunctive queries with union and negation in the presence of dependencies containing negation and disjunction. Tackling this problem, we study the applicability of the chase in this setting, develop novel conditions that guarantee its termination, identify fragments for which minimal query computation (w.r.t. a generic cost function) is always possible, and investigate the complexity of related decision problems.