The chase revisited

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Volumn , Issue , 2008, Pages 149-158

  Deutsch, Alin ^a   Nash, Alan ^b,c   Remmel, Jeff ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b IBM ALMADEN RESEARCH CENTER   (United States)

^c Tradeworx   (United States)

Author keywords

Algorithms; Theory

Indexed keywords

CERTAIN ANSWERS; CLASS-F; CONSTRAINT LANGUAGES; DATA EXCHANGES; DATABASE PROBLEMS; FIRST ORDERS; OPEN PROBLEMS; PRIOR WORKS; QUERY CONTAINMENTS; TERMINATION CONDITIONS; THEORY; UNIVERSAL MODELS;

COMPUTABILITY AND DECIDABILITY; CONFORMAL MAPPING; QUERY LANGUAGES; STANDARDS;

DATABASE SYSTEMS;

EID: 57349115428     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1376916.1376938     Document Type: Conference Paper

References (26)

1. S. Abiteboul and O. M, Duschka. Complexity of answering queries using materialized views. In PODS, 1998.
2. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley, 1995.
3. A. V. Aho, C. Beeri, and J. D. Ullman. The theory of joins in relational databases. ACM Trans. Database Syst., 4(3), 1979.
4. C. Beeri and M. Y. Vardi. A proof procedure for data dependencies. J. ACM, 31(4):718-741, 1984.
5. A. Calì, D. Calvanese, G. D. Giacomo, and M. Lenzerini. Data integration under integrity constraints. Inf. Syst., 29(2), 2004.
6. A. Calì, D. Lembo, and R. Rosati. Query rewriting and answering under constraints in data integration systems. In IJCAI, 2003.
7. A. K. Chandra and P M. Merlin. Optimal implementation of conjunctive queries in relational data bases. In STOC, 1977.
8. A. Deutsch, B. Ludaescher, and A. Nash. Rewriting queries using views with access patterns under integrity constraints. In ICDT, 2005.
9. A. Deutsch, A. Nash, and J. Remmel. The Chase Revisited (full version). UCSD Tech. Report 2008, http://db.ucsd.edu.
10. A. Deutsch and V. Tannen. Mars: A system for publishing xml from mixed and redundant storage. In VLDB, pages 201-212, 2003.
11. A. Deutsch and V. Tannen. Reformulation of XML Queries and Constraints. In ICDT, 2003.
12. R. Fagin. Horn clauses and database dependencies. JACM, 29(4),'82.
13. R. Fagin, P. G. Kolaitis, R. I. Miller, and L. Popa. Data Exchange: Semantics and Query Answering. ICDT 2003, full version in Theor. Comput. Sci. 336(1): 89-124 (2005).
14. R. Fagin, P. G. Kolaitis, and L. Popa. Data Exchange: Getting to the Core. In PODS, 2003. Full version in TODS, 30(1), 2005.
15. [ 15] A. Fuxman, P. G. Kolaitis, R. J. Miller, and W. C. Tan. Peer data exchange. In PODS, 2005. Full version in TODS, 31(4), 2006.
16. G. Gottlob and A. Nash. Data exchange: Computing cores in polynomial time. In PODS, 2006.
17. A. Y. Halevy, Z. G. Ives, D. Suciu, and I. Tatarinov. Schema Mediation in Peer Data Management Systems. ICDE 2003.
18. P. Hell and J. Nešetřil. The core of a graph. Discr. Math., 109(1-3): 117-126, 1992.
19. P. G. Kolaitis, J. Panttaja, and W. C. Tan. The complexity of data exchange. In PODS, pages 30-39, 2006.
20. M. Lenzerini. Data Integration: A Theoretical Perspective. In ACM PODS, pages 233-246, 2002.
21. Maier, Sagiv, and Yannakakis. On the complexity of testing implication of functional and join dependencies. J. ACM, 1981.
22. D. Maier, A. O. Mendelzon, and Y. Sagiv. Testing implications of data dependencies. ACM Trans. Database Syst., 4(4):455-469, 1979.
23. A. Nash, A. Deutsch, and I. Remmel. Data exchange, data integration, and the chase. UCSD Tech. Report CS2006-0859, 2006.
24. B. Rossman. Existential positive types and preservation under homomorphisms. In LICS. pages 467-176, 2005.
25. M. Vardi. Inferring multivalued dependencies from functional and join dependencies. Acta Informatica, 1983.
26. C. Yu and L. Popa. Constraint-Based XML Query Rewriting For Data Integration. In SIGMOD, pages 371-382, 2004.