Composition with target constraints

Logical Methods in Computer Science

Volumn 7, Issue 3, 2011, Pages

  Arenas, Marcelo ^a   Fagin, Ronald ^b   Nash, Alan ^c  

^a PONTIFICIA UNIVERSIDAD CATÓLICA DE CHILE   (Chile)

^b IBM ALMADEN RESEARCH CENTER   (United States)

^c Aleph One LLC   (United States)

Author keywords

Composition; Data exchange; Metadata management; Schema mapping; Target constraint

Indexed keywords

EID: 80355129520     PISSN: None     EISSN: 18605974     Source Type: Journal    
DOI: 10.2168/LMCS-7(3:13)2011     Document Type: Article

References (46)

1. F. Afrati and N. Kiourtis. Query Answering Using Views in the Presence of Dependencies. In New Trends in Information Integration (NTII), pages 8-11, 2008.
2. F. Afrati and P. Kolaitis. Repair Checking in Inconsistent Databases: Algorithms and Complexity. In International Conference on Database Theory (ICDT), pages 31-41, 2009.
3. F. Afrati, C. Li, and V. Pavlaki. Data Exchange in the Presence of Arithmetic Comparisons. In Extending Data Base Technology (EDBT), pages 487-498, 2008.
4. rd International Conference on Scalable Information Systems, 2009.
5. M. Arenas, P. Barceló, R. Fagin, and L. Libkin. Locally Consistent Transformations and Query An- swering in Data Exchange. In 23rd ACM Symposium on Principles of Database Systems (PODS), pages 229-240, 2004.
6. M. Arenas, R. Fagin, and A. Nash. Composition with Target Constraints. In 13th International Con- ference on Database Theory (ICDT), pages 129-142, 2010.
7. M. Arenas, J. Pérez, and C. Riveros. The Recovery of a Schema Mapping: Bringing Back Exchanged Data. In 27th ACM Symposium on Principles of Database Systems (PODS), pages 13-22, 2008.
8. P. Barceló. Logical Foundations of Relational Data Exchange. SIGMOD Record, 38(1):49-58, 2009.
9. P. A. Bernstein. Applying Model Management to Classical Meta-Data Problems. In Conference on Innovative Data Systems Research (CIDR), pages 209-220, 2003.
10. M. Casanova, R. Fagin, and C. Papadimitriou. Inclusion Dependencies and their Interaction with Func-tional Dependencies. J. Computer and System Sciences, 20(1):29-59, 1984.
11. B. Cautis, A. Deutsch, and N. Onose. Querying Data Sources that Export Infinite Sets of Views. In International Conference on Database Theory (ICDT), pages 84-97, 2009.
12. R. Chirkova and M. Genesereth. Equivalence of SQL Queries in Presence of Embedded Dependencies. In 28th ACM Symposium on Principles of Database Systems (PODS), pages 217-226, 2009.
13. S. S. Cosmadakis and P. C. Kanellakis. Functional and Inclusion Dependencies: A Graph Theoretic Approach. In Advances in Computing Research, volume 3, pages 163-184. 1986.
14. A. Deutsch, A. Nash, and J. Remmel. The Chase Revisited. In 27th ACM Symposium on Principles of Database Systems (PODS), pages 149-158, 2008.
15. A. Deutsch, L. Popa, and V. Tannen. Query Reformulation with Constraints. SIGMOD Record, 35(1):65-73, 2006.
16. A. Deutsch and V. Tannen. Reformulation of XML Queries and Constraints. In International Conference on Database Theory (ICDT), pages 225-241, 2003.
17. O. M. Duschka, M. R. Genesereth, and A. Y. Levy. Recursive Query Plans for Data Integration. J. Log. Program., 43(1):49-73, 2000.
18. Enderton. A Mathematical Introduction to Logic: Second Edition. Academic Press, 2001.
19. [Fagin. Inverting Schema Mappings. ACM Trans. Database Syst., 32(4), 2007.
20. R. Fagin, L. Haas, M. Hernandez, R. Miller, L. Popa, and Y. Velegrakis. Clio: Schema Mapping Creation and Data Exchange. In A. Borgida, V. Chaudhri, P. Giorgini, and E. Yu, editors, Conceptual Modeling: Foundations and Applications, Essays in Honor of John Mylopoulos, volume 5600 of Lecture Notes in Computer Science, pages 198-236. Springer-Verlag, 2009.
21. R. Fagin, P. Kolaitis, A. Nash, and L. Popa. Towards a Theory of Schema-Mapping Optimization. In 27th ACM Symposium on Principles of Database Systems (PODS), pages 33-42, 2008.
22. R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa. Data Exchange: Semantics and Query Answering. Theoretical Computer Science, 336:89-124, 2005.
23. R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa, Preliminary version in International Conference on Database Theory (ICDT), pages 207-224, 2003.
24. R. Fagin, P. G. Kolaitis, L. Popa, and W. C. Tan. Composing Schema Mappings: Second-order Depen- dencies to the Rescue. ACM Trans. Database Syst., 30(4):994-1055, 2005.
25. R. Fagin, L. Stockmeyer, and M. Vardi. On Monadic NP vs Monadic coNP. Information and Compu- tation, 120(1):78-92, 1995.
26. A. Fuxman, M. A. Hernández, C. T. H. Ho, R. J. Miller, P. Papotti, and L. Popa. Nested Mappings: Schema Mapping Reloaded. In Very Large Data Bases (VLDB), pages 67-78, 2006.
27. A. Fuxman, P. Kolaitis, R. Miller, and W.-C. Tan. Peer Data Exchange. ACM Transactions on Database Systems, 31(4):1454-1498, 2006.
28. H. Gaifman. On Local and Non-local Properties. In Herbrand Symposium Logic Colloquium, North Holland, pages 105-135, 1982.
29. G. D. Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. On Reconciling Data Exchange, Data In- tegration, and Peer Data Management. In 26th ACM Symposium on Principles of Database Systems (PODS), pages 133-142, 2007.
30. [G. Gottlob and A. Nash. Efficient Core Computation in Data Exchange. Journal of the ACM, 55(2), 2008.
31. G. Gottlob and S. Szeider. Fixed-Parameter Algorithms For Artificial Intelligence, Constraint Satisfac- tion and Database Problems. Computer Journal, 51(3):303-325, 2008.
32. T. Green, G. Karvounarakis, Z. Ives, and V. Tannen. Update Exchange with Mappings and Provenance. In International Conference on Very Large Data Bases (VLDB), pages 675-686, 2007.
33. W. P. Hanf. Model-theoretic Methods in the Study of Elementary Logic. In The Theory of Models; Addison, Henkin, and Tarski, eds., North Holland, pages 132-145, 1965.
34. A. Hernich and N. Schweikardt. CWA-solutions for Data Exchange Settings with Target Dependencies. In 26th ACM Symposium on Principles of Database Systems (PODS), pages 113-122, 2007.
35. G. Karvounaraki and V. Tannen. Conjunctive Queries and Mappings with Unequalities. Technical Report MS-CIS-08-37, University of Pennsylvania, 2008.
36. P. G. Kolaitis. Schema Mappings, Data Exchange, and Metadata Management. In 24th ACM Symposium on Principles of Database Systems (PODS), pages 61-75, 2005.
37. M. Lenzerini. Data Integration: A Theoretical Perspective. In 21st ACM Symposium on Principles of Database Systems (PODS), pages 233-246, 2002.
38. Libkin. Elements of Finite Model Theory. Springer-Verlag, 1st edition, 2004.
39. th ACM Symposium on Principles of Database Systems (PODS), pages 139-148, 2008.
40. J. Madhavan and A. Y. Halevy. Composing Mappings Among Data Sources. In International Conference on Very Large Data Bases (VLDB), pages 572-583, 2003.
41. M. Meier. Towards Rule-Based Minimization of RDF Graphs under Constraints. In Web Reasoning and Rule Systems, volume 5341 of Lecture Notes in Computer Science, pages 89-103. Springer-Verlag, 2008.
42. Melnik. Generic Model Management: Concepts and Algorithms, volume 2967 of Lecture Notes in Computer Science. Springer, 2004.
43. A. Nash, P. A. Bernstein, and S. Melnik. Composition of Mappings Given by Embedded Dependencies. In 24th ACM Symposium on Principles of Database Systems (PODS), pages 172-183, 2005.
44. P. Papotti and R. Torlone. Schema Exchange: Generic Mappings for Transformaing Data and Metadata. Data and Knowledge Engineering, 68(7):665-682, 2009.
45. B. ten Cate and P. Kolaitis. Structural Characterizations of Schema-Mapping Languages. In Interna- tional Conference on Database Theory (ICDT), pages 63-72, 2009.
46. P. Vassiliadis, A. Simitsis, and S. Skiadopoulos. On the Logical Modeling of ETL Processes. In Inter- national Conference on Advanced Information Systems Engineering (CAiSE), pages 782-786, 2002.