Value invention in data exchange

Proceedings of the ACM SIGMOD International Conference on Management of Data

Volumn , Issue , 2013, Pages 157-168

  Arocena, Patricia C ^a   Glavic, Boris ^b   Miller, Renée J ^a  

^a UNIVERSITY OF TORONTO   (Canada)

^b ILLINOIS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Data Exchange; Schema Mappings; Unskolem ization; Value Invention

Indexed keywords

EXPERIMENTAL EVALUATION; FUNCTIONAL DEPENDENCY; INCOMPLETE INFORMATION; LINEAR RELATIONSHIPS; MISSING INFORMATION; SCHEMA MAPPINGS; TUPLE-GENERATING DEPENDENCIES; UNSKOLEM-IZATION;

ALGORITHMS; ELECTRONIC DATA INTERCHANGE; PATENTS AND INVENTIONS; SEMANTICS;

MAPPING;

EID: 84880543366     PISSN: 07308078     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2463676.2465311     Document Type: Conference Paper

References (32)

1. B. Alexe, M. A. Hernández, L. Popa, and W. C. Tan. MapMerge: Correlating Independent Schema Mappings. VLDB J., 21(2):191-211, 2012.
2. B. Alexe, W. C. Tan, and Y. Velegrakis. STBenchmark: Towards a Benchmark for Mapping Systems. PVLDB, 1(1):230-244, 2008.
3. B. Alexe, B. ten Cate, P. Kolaitis, and W. Tan. Designing and refining schema mappings via data examples. In SIGMOD, pages 133-144, 2011.
4. Y. An, A. Borgida, R. J. Miller, and J. Mylopoulos. A Semantic Approach to Discovering Schema Mapping Expressions. In ICDE, pages 206-215, 2007.
5. M. Arenas, R. Fagin, and A. Nash. Composition with Target Constraints. Logical Methods in Comput. Sci., 7(3), 2011.
6. M. Arenas, J. Pérez, J. Reutter, and C. Riveros. Inverting Schema Mappings: Bridging the Gap between Theory and Practice. PVLDB, 2(1):1018-1029, 2009.
7. P. C. Arocena, M. D'Angelo, B. Glavic, and R. J. Miller. STBenchmark 2.0. Technical report, University of Toronto, 2013. http://dblab.cs.toronto.edu/ project/STBench2.0.
8. P. A. Bernstein, T. J. Green, S. Melnik, and A. Nash. Implementing Mapping Composition. VLDB J., 17(2):333-353, 2008.
9. P. A. Bernstein, A. Y. Halevy, and R. A. Pottinger. A Vision for Management of Complex Models. SIGMOD Record, 29(4):55-63, Dec. 2000.
10. H. B. Enderton. A Mathematical Introduction to Logic. Harcout Academic Press, 2nd. Edition, 2001.
11. R. Fagin, P. Kolaitis, R. J. Miller, and L. Popa. Data Exchange: Semantics and Query Answering. Theor. Comput. Sci., 336(1):89-124, 2005.
12. R. Fagin, P. Kolaitis, L. Popa, and W. C. Tan. Composing Schema Mappings: Second-Order Dependencies to the Rescue. TODS, 30(4):994-1055, 2005.
13. I. Feinerer, R. Pichler, E. Sallinger, and V. Savenkov. On the Undecidability of the Equivalence of Second-Order Tuple Generating Dependencies. In AMW, 2011.
14. A. Fuxman, M. A. Hernández, H. Ho, R. J. Miller, P. Papotti, and L. Popa. Nested Mappings: Schema Mapping Reloaded. In VLDB, pages 67-78, 2006.
15. A. Fuxman, P. Kolaitis, R. J. Miller, and W. C. Tan. Peer Data Exchange. TODS, 31(4):1454-1498, 2006.
16. D. Gabbay, R. Schmidt, and A. Szalas. Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications. College Publications, 2008.
17. T. J. Green, G. Karvounarakis, N. E. Taylor, O. Biton, Z. G. Ives, and V. Tannen. ORCHESTRA: Facilitating Collaborative Data Sharing. In SIGMOD, pages 1131-1133, 2007.
18. R. Hull and M. Yoshikawa. ILOG: Declarative Creation and Manipulation of Object Identifiers. In VLDB, pages 455-468, 1990.
19. A. Klug and R. Price. Determining View Dependencies Using Tableaux. TODS, 7(3):361-380, 1982.
20. M. K. Lawrence, R. A. Pottinger, and S. Staub-French. Data Coordination: Supporting Contingent Updates. PVLDB, 4(11):831-842, 2011.
21. M. Lenzerini. Data Integration: a Theoretical Perspective. In PODS, pages 233-246, 2002.
22. L. Libkin and C. Sirangelo. Data Exchange and Schema Mappings in Open and Closed Worlds. J. Comput. Syst. Sci., 77(3):542-571, 2011.
23. B. Marnette, G. Mecca, and P. Papotti. Scalable Data Exchange with Functional Dependencies. PVLDB, 3(1):105-116, 2010.
24. B. Marnette, G. Mecca, P. Papotti, S. Raunich, and D. Santoro. ++Spicy: an OpenSource Tool for Second-Generation Schema Mapping and Data Exchange. PVLDB, 4(12):1438-1441, 2011.
25. R. J. Miller, D. Fisla, M. Huang, D. Kymlicka, F. Ku, and V. Lee. The Amalgam Schema and Data Integration Test Suite. www.cs.toronto.edu/~miller/ amalgam, 2001.
26. A. Nash, P. A. Bernstein, and S. Melnik. Composition of Mappings Given by Embedded Dependencies. TODS, 32(1):4, 2007.
27. Y. Papakonstantinou, S. Abiteboul, and H. Garcia-Molina. Object Fusion in Mediator Systems. In VLDB, pages 413-424, 1996.
28. R. Pichler and S. Skritek. The Complexity of Evaluating Tuple Generating Dependencies. In ICDT, pages 244-255, 2011.
29. L. Popa, Y. Velegrakis, R. J. Miller, M. A. Hernández, and R. Fagin. Translating Web Data. In VLDB, pages 598-609, 2002.
30. L. Seligman, P. Mork, A. Y. Halevy, K. P. Smith, M. J. Carey, K. Chen, C. Wolf, J. Madhavan, A. Kannan, and D. Burdick. OpenII: an Open Source Information Integration Toolkit. In SIGMOD, pages 1057-1060, 2010.
31. B. ten Cate and P. Kolaitis. Structural Characterizations of Schema-Mapping Languages. In ICDT, pages 63-72, 2009.
32. C. Yu and L. Popa. Semantic Adaptation of Schema Mappings when Schemas Evolve. VDLB, pages 1006-1017, 2005.