Composition of mappings given by embedded dependencies

ACM Transactions on Database Systems

Volumn 32, Issue 1, 2007, Pages

  Nash, Alan ^a,c   Bernstein, Philip A ^b   Melnik, Sergey ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b MICROSOFT RESEARCH   (United States)

^c IBM ALMADEN RESEARCH CENTER   (United States)

Author keywords

Database theory; Metadata management

Indexed keywords

DEPENDENCIES; METADATA MANAGEMENT; SECOND-ORDER DEPENDENCIES;

ALGORITHMS; COMPUTATIONAL COMPLEXITY; ELECTRONIC DATA INTERCHANGE; INFORMATION DISSEMINATION; INFORMATION MANAGEMENT;

RELATIONAL DATABASE SYSTEMS;

EID: 33947667913     PISSN: 03625915     EISSN: 15574644     Source Type: Journal    
DOI: 10.1145/1206049.1206053     Document Type: Article

References (27)

1. ABITEBOUL, S., HULL, R., AND VIANU, V. 1995. Foundations of Databases. Addison-Wesley.
2. BERNSTEIN, P., GREEN, T. J., MELNIK, S., AND NASH, A. 2006. Implementing mapping composition. In Proceedings of the International Conference on Very Large Data Bases (VLDB).
3. BERNSTEIN, P. A. 2003. Applying model management to classical meta-data problems. In Proceedings of the Conference on Innovative Data Systems Research (CIDR). 209-220.
4. BERNSTEIN, P. A., HALEVY, A. Y., AND POTTINGER, R. 2000. A vision of management of complex models. SIGMOD Rec. 29, 4, 55-63.
5. DEUTSCH, A. AND TANNEN, V. 2003. Reformulation of XML queries and constraints. In Proceedings of the International Conference on Database Theory (ICDT).
6. EBBINHAUS, H.-D. AND FLUM, J. 1999. Finite Model Theory. Springer Verlag.
7. FAGIN, R. 1975. Monadic generalized spectra. Zeitschr. Math. Logik Grundlagen Math. 21, 89-96.
8. FAGIN, R. 1977. Multivalued dependencies and a new normal form for relational databases. ACM Trans. Database Syst. 2, 3, 262-278.
9. FAGIN, R. 1982. Horn clauses and database dependencies. J. ACM 29, 4, 952-985.
10. FAGIN, R. 2006. Inverting schema mappings. In Proceedings of the ACM Symposium on Principles of Database Systems (PODS). 50-59.
11. FAGIN, R., KOLAITIS, P. G., MILLER, R. J., AND POPA, L. 2003a. Data exchange: Semantics and query answering. In Proceedings of the International Conference on Database Theory (ICDT). 207-224.
12. FAGIN, R., KOLAITIS, P. G., AND POPA, L. 2003b. Data exchange: Getting to the core. In Proceedings of the ACM Symposium on Principles of Database Systems (PODS). 90-101.
13. FAGIN, R., KOLAITIS, P. G., POPA, L., AND TAN, W. C. 2004. Composing schema mappings: Second-Order dependencies to the rescue. In Proceedings of the ACM Symposium on Principles of Database Systems (PODS). 83-94.
14. FAGIN, R., KOLAITIS, P. G., POPA, L., AND TAN, W. C. 2005. Composing schema mappings: Second-Order dependencies to the rescue. ACM Trans. Database Syst. 30, 994-1055.
15. HALEVY, A. Y., IVES, Z. G., SUCIU, D., AND TATARINOV, I. 2003. Schema mediation in peer data management systems. In Proceedings of the International Conference on Data Engineering (ICDE).
16. KLUG, A. AND PRICE, R. 1982. Determining view dependencies using tableaux. ACM Trans. Database Syst. 7, 361-380.
17. KOCH, C. 2002. Query rewriting with symmetric constraints. In Proceedings of the Foundations of Information and Knowledge Systems (FoIKS),
18. LENZERINI, M. 2002. Data integration: A theoretical perspective. In Proceedings of the ACM Symposium on Principles of Database Systems (PODS). 233-246.
19. MADHAVAN, J. AND HALEVY, A. Y. 2003. Composing mappings among data sources. In Proceedings of the International Conference on Very Large Data Bases (VLDB). 572-583.
20. MELNIK, S. 2004. Generic model management: Concepts and algorithms. Ph.D. Thesis, University of Leipzig. Lecture Notes in Computer Science, vol. 2967. Springer Verlag.
21. MELNIK, S., BERNSTEIN, P. A., HALEVY, A. Y., AND RAHM, E. 2005. Supporting executable mappings in model management. In Proceedings of the ACM SIGMOD International Conference on Management of Data. 167-178.
22. MELNIK, S., RAHM, E., AND BERNSTEIN, P. A. 2003. Rondo: A programming platform for generic model management. In Proceedings of the ACM SIGMOD International Conference on Management of Data. 193-204.
23. NICOLAS, J. M. 1987. First order logic formalization for function, multivalued, and mutual dependencies. In Proceedings of the ACM SIGMOD International Conference on Management of Data. 40-46.
24. SAGIV, Y. AND YANNAKAKIS, M. 1980. Equivalences among relational expressions with the union and difference operators. J. ACM 27, 4, 633-655.
25. SIPSER, M. 1997. Introduction to the Theory of Computation, 2nd ed. PWS Publishing.
26. STONEBRAKER, M. 1975. Implementation of integrity constraints and views by query modification. In Proceedings of the ACM SIGMOD International Conference on Management of Data. 65-78.
27. YU, C. AND POPA, L. 2004. Constraint-Based XML query rewriting for data integration. In Proceedings of the ACM SIGMOD International Conference on Management of Data. 371-382.