Local transformations and conjunctive-query equivalence

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

Volumn , Issue , 2012, Pages 179-190

  Fagin, Ronald ^a   Kolaitis, Phokion G ^a,b  

^a IBM ALMADEN RESEARCH CENTER   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

chase; composition; conjunctive queries; continuity; local transformations; schema mappings

Indexed keywords

CHASE; CONJUNCTIVE QUERIES; CONTINUITY; LOCAL TRANSFORMATIONS; SCHEMA MAPPINGS;

CHEMICAL ANALYSIS; ELECTRONIC DATA INTERCHANGE; EQUIVALENCE CLASSES; MAPPING;

QUERY LANGUAGES;

EID: 84862627790     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2213556.2213583     Document Type: Conference Paper

References (23)

1. M. Arenas, P. Barceló, R. Fagin, and L. Libkin. Locally consistent transformations and query answering in data exchange. In ACM Symp. on Principles of Database Systems, pages 229-240, 2004.
2. M. Arenas, P. Barceló, L. Libkin, and F. Murlak. Relational and XML Data Exchange. Synthesis Lectures on Data Management. Morgan & Claypool Publishers, 2010.
3. A. V. Aho, C. Beeri, and J. D. Ullman. The theory of joins in relational databases. ACM Trans. on Database Systems, 4(3):297-314, 1979.
4. P.C. Arocena, A. Fuxman, and R.J. Miller. Composing local-as-view mappings: closure and applications. In Int. Conf. on Database Theory, pages 209-218, 2010.
5. M. Arenas, R. Fagin, and A. Nash. Composition with target constraints. Logical Methods in Computer Science, 7(3:13):1-38, 2011.
6. M. Arenas, J. Pérez, and C. Riveros. The recovery of a schema mapping: Bringing exchanged data back. ACM Trans. on Database Systems, 34(4), 2009.
7. M. Arenas, J. Pérez, J.L. Reutter, and C. Riveros. Inverting schema mappings: Bridging the gap between theory and practice. PVLDB, 2(1):1018-1029, 2009.
8. A. K. Chandra and P. M. Merlin. Optimal implementation of conjunctive queries in relational data bases. In ACM Symp. on Theory of Computing, pages 77-90, 1977.
9. R. Fagin. Inverting schema mappings. ACM Trans. on Database Systems, 32(4), 2007.
10. R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa. Data exchange: Semantics and query answering. Theoretical Computer Science, 336(1):89-124, 2005. (Pubitemid 40612385)
11. R. Fagin, P. G. Kolaitis, A. Nash, and L. Popa. Towards a theory of schema-mapping optimization. In ACM Symp. on Principles of Database Systems, pages 33-42, 2008.
12. R. Fagin, P. G. Kolaitis, L. Popa, and W.-C. Tan. Composing schema mappings: Second-order dependencies to the rescue. ACM Trans. on Database Systems, 30(4):994-1055, 2005.
13. R. Fagin, P.G. Kolaitis, L. Popa, and W-C. Tan. Schema mapping evolution through composition and inversion. In Z. Bellahsene, A. Bonifati, and E. Rahm, editors, Schema Matching and Mapping, pages 191-222. Springer, 2011.
14. I. Feinerer, R. Pichler, E. Sallinger, and V. Savenkov. On the undecidability of the equivalence of second-order tuple generating dependencies. In Alberto Mendelzon Workshop, 2011.
15. R. Fagin, L. Stockmeyer, and M. Y. Vardi. On monadic NP vs. monadic co-NP. Inf. and Computation, 120(1):78-92, July 1995.
16. P. Hell and J. Nešetřil. The core of a graph. Discrete Mathematics, 109:117-126, 1992.
17. P. G. Kolaitis. Schema mappings, data exchange, and metadata management. In ACM Symp. on Principles of Database Systems, pages 61-75, 2005.
18. M. Lenzerini. Data integration: A theoretical perspective. In ACM Symp. on Principles of Database Systems, pages 233-246, 2002.
19. J. Madhavan and A. Y. Halevy. Composing mappings among data sources. In Int. Conf. on Very Large Data Bases, pages 572-583, 2003.
20. D. Maier, A. O. Mendelzon, and Y. Sagiv. Testing implications of data dependencies. ACM Trans. on Database Systems, 4(4):455-469, 1979.
21. J. Neštřil and P. Ossona de Mendez. From sparse graphs to nowhere dense structures: Decompositions, independence, dualities and limits. In Proc. of the Fifth European Congress of Mathematics, 2009.
22. R. Pichler, E. Sallinger, and V. Savenkov. Relaxed notions of schema mapping equivalence revisited. In Int. Conf. on Database Theory, pages 90-101, 2011.
23. B. Rossman. Homomorphism preservation theorems. J. ACM, 55(3), 2008.