Relaxed notions of schema mapping equivalence revisited

ACM International Conference Proceeding Series

Volumn , Issue , 2011, Pages 90-101

  Pichler, Reinhard ^a   Sallinger, Emanuel ^a   Savenkov, Vadim ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONAL DEPENDENCY; INCLUSION DEPENDENCIES; LOGICAL EQUIVALENCE; MAPPING EQUIVALENCES; OPTIMIZATION TASK; PROPERTY; QUERY EQUIVALENCE; SCHEMA MAPPINGS;

ELECTRONIC DATA INTERCHANGE;

EID: 79952348087     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1938551.1938566     Document Type: Conference Paper

References (23)

1. M. Arenas, R. Fagin, and A. Nash. Composition with target constraints. In Proc. ICDT'10, pages 129-142. ACM, 2010.
2. 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.
3. M. Arenas, J. Pérez, and C. Riveros. The recovery of a schema mapping: Bringing exchanged data back. ACM Trans. Database Syst., 34(4), 2009.
4. C. Beeri and M. Y. Vardi. A proof procedure for data dependencies. J. ACM, 31(4):718-741, 1984.
5. P. A. Bernstein. Applying model management to classical meta data problems. In Proc. CIDR'03, 2003.
6. A. Deutsch, A. Nash, and J. B. Remmel. The chase revisited. In Proc. PODS'08, pages 149-158. ACM, 2008.
7. O. M. Duschka, M. R. Genesereth, and A. Y. Levy. Recursive query plans for data integration. J. Log. Prog., 43(1), 2000.
8. R. Fagin. Horn clauses and database dependencies. J. ACM, 29(4):952-985, 1982.
9. R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa. Data exchange: semantics and query answering. Theor. Comput. Sci., 336(1):89-124, 2005. (Pubitemid 40612385)
10. R. Fagin, P. G. Kolaitis, A. Nash, and L. Popa. Towards a theory of schema-mapping optimization. PODS'08, ACM.
11. R. Fagin, P. G. Kolaitis, and L. Popa. Data exchange: getting to the core. ACM Trans. Dat. Syst., 30(1):174-210, 2005. (Pubitemid 41201814)
12. R. Fagin, P. G. Kolaitis, L. Popa, and W. C. Tan. Composing schema mappings: Second-order dependencies to the rescue. ACM Trans. Database Syst., 30(4):994-1055, 2005.
13. R. Fagin, P. G. Kolaitis, L. Popa, and W. C. Tan. Reverse data exchange: coping with nulls. PODS'09, pages 23-32, ACM.
14. G. Gottlob and C. H. Papadimitriou. On the complexity of single-rule datalog queries. Inf. Comput., 183(1), 2003.
15. G. Gottlob, R. Pichler, and V. Savenkov. Normalization and optimization of schema mappings. PVLDB, 2(1), 2009.
16. A. Y. Halevy, A. Rajaraman, and J. J. Ordille. Data integration: The teenage years. In Proc. VLDB'06.
17. D. S. Johnson and A. C. Klug. Testing containment of conjunctive queries under functional and inclusion dependencies. J. Comput. Syst. Sci., 28(1):167-189, 1984. (Pubitemid 14569352)
18. J. Madhavan and A. Y. Halevy. Composing mappings among data sources. In Proc. VLDB'03, pages 572-583, 2003.
19. B. Marnette. Generalized schema-mappings: from termination to tractability. In PODS, pages 13-22, 2009.
20. M. Meier, M. Schmidt, and G. Lausen. On chase termination beyond stratification. PVLDB, 2(1):970-981, 2009.
21. S. Melnik. Generic Model Management: Concepts and Algorithms, volume 2967 of LNCS. Springer, 2004.
22. A. Nash, P. A. Bernstein, and S. Melnik. Composition of mappings given by embedded dependencies. ACM TODS, 32(1):4, 2007.
23. O. Shmueli. Equivalence of datalog queries is undecidable. J. Log. Prog., 15(3):231-241, 1993.