A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Testing implications of data dependencies
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Testing containment of conjunctive queries under functional and inclusion dependencies
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Answering queries using views: A survey
The VLDB Journal — The International Journal on Very Large Data Bases
Data exchange: semantics and query answering
Theoretical Computer Science - Database theory
Query reformulation with constraints
ACM SIGMOD Record
ACM Transactions on Database Systems (TODS)
Rewriting queries using views with access patterns under integrity constraints
Theoretical Computer Science
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Generalized schema-mappings: from termination to tractability
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Extending decidable cases for rules with existential variables
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
On chase termination beyond stratification
Proceedings of the VLDB Endowment
Semantic query optimization in the presence of types
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Chase termination: a constraints rewriting approach
Proceedings of the VLDB Endowment
Hi-index | 0.00 |
In my PhD thesis I study the termination problem of the chase algorithm, a central tool in various database problems such as the constraint implication problem, conjunctive query optimization, rewriting queries using views, data exchange, and data integration.