Composing schema mappings: Second-order dependencies to the rescue

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

Volumn 23, Issue , 2004, Pages 83-94

  Fagin, Ronald ^a   Kolaitis, Phokion G ^b   Tan, Wang Chiew ^b   Popa, Lucian ^a  

^a IBM ALMADEN RESEARCH CENTER   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION INTEGRATION; LOCAL AS VIEW (LAV); MODEL MANAGEMENT; SCHEMA MAPPINGS;

DATA STRUCTURES; DATABASE SYSTEMS; INFORMATION ANALYSIS; METADATA; PROBLEM SOLVING; SEMANTICS; XML;

MAPPING;

EID: 3142721843     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. S. Abiteboul and O. M. Duschka. Complexity of Answering Queries Using Materialized Views. In ACM Symposium on Principles of Database Systems (PODS), pages 254-263, 1998.
2. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
3. C. Beeri and M. Y. Vardi. A Proof Procedure for Data Dependencies. Journal of the Association for Computing Machinery (JACM), 31(4):718-741, 1984.
4. C. Beeri and M. Y. Vardi. Formal Systems for Tuple and Equality Generating Dependencies. SIAM J. on Computing, 13(1):76-98, 1984.
5. P. A. Bernstein. Applying Model Management to Classical Meta-Data Problems. In Conference on Innovative Data Systems Research (CIDR), pages 209-220, 2003.
6. A. K. Chandra and D. Harel. Structure and Complexity of Relational Queries. Journal of Computer and System Sciences, 25(1):99-128, 1982.
7. A. Dawar. A Restricted Second Order Logic for Finite Structures. Information and Computation, 143(2):154-174, 1998.
8. R. Fagin. Generalized First-Order Spectra and Polynomial-Time Recognizable Sets. In R. M. Karp, editor, Complexity of Computation, SIAM-AMS Proceedings, Vol. 7, pages 43-73, 1974.
9. R. Fagin. Horn Clauses and Database Dependencies. Journal of the Association for Computing Machinery (JACM), 29(4):952-985, Oct. 1982.
10. R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa. Data Exchange: Semantics and Query Answering. In International Conference on Database Theory (ICDT), pages 207-224, 2003.
11. R. Fagin, P. G. Kolaitis, and L. Popa. Data Exchange: Getting to the Core. In ACM Symposium on Principles of Database Systems (PODS), pages 90-101, 2003.
12. T. Feder and M. Vardi. The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory. SIAM J. on Computing, 28:57-104, 1998. Preliminary version in Proc. 25th ACM Symp. on Theory of Computing, May 1993, pp. 612-622.
13. T. Feder and M. Vardi. The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory. SIAM J. on Computing, 28:57-104, 1998. Preliminary version in Proc. 25th ACM Symp. on Theory of Computing, May 1993, pp. 612-622.
14. A. Y. Halevy, Z. G. Ives, P. Mork, and I. Tatarinov. Piazza: Data Management Infrastructure for Semantic Web Applications. In International World Wide Web Conference, pages 556-567, 2003.
15. N. Immerman. Descriptive Complexity. Springer, 1999.
16. M. Lenzerini. Data Integration: A Theoretical Perspective. In ACM Symposium on Principles of Database Systems (PODS), pages 233-246, 2002.
17. J. W. Lloyd. Foundations of Logic Programming. Springer, 1987.
18. J. Madhavan and A. Y. Halevy. Composing Mappings Among Data Sources. In International Conference on Very Large Data Bases (VLDB), pages 572-583, 2003.
19. R. J. Miller, L. M. Haas, and M. Hernández. Schema Mapping as Query Discovery. In International Conference on Very Large Data Bases (VLDB), pages 77-88, 2000.
20. L. Popa, Y. Velegrakis, R. J. Miller, M. A. Hernandez, and R. Fagin. Translating Web Data. In International Conference on Very Large Data Bases (VLDB), pages 598-609, 2002.
21. P. Vassiliadis, A. Simitsis, and S. Skiadopoulos. On the Logical Modeling of ETL Processes. In International Conference on Advanced Information Systems Engineering (CAiSE), pages 782-786, 2002.