Structural characterizations of schema-mapping languages

Communications of the ACM

Volumn 53, Issue 1, 2010, Pages 101-110

  Ten Cate, Balder ^a   Kolaitis, Phokion G ^b  

^a INRIA   (France)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA EXCHANGE; DATA INTEGRATION; DATA INTEROPERABILITY; DATABASE SCHEMAS; DECLARATIVE LANGUAGES; EXPRESSIVE POWER; HIGH LEVEL SPECIFICATION; INFORMATION INTEGRATION; LOCAL AS VIEWS; LOGICAL FORMALISM; MAPPING LANGUAGE; SCHEMA MAPPINGS; STRUCTURAL CHARACTERIZATION; UNIVERSAL SOLUTIONS;

ALGORITHMIC LANGUAGES; DATA HANDLING; LINGUISTICS; MAPPING; QUERY LANGUAGES;

STRUCTURAL PROPERTIES;

EID: 73649090431     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/1629175.1629201     Document Type: Article

References (19)

1. Abiteboul, S., Duschka, O.M. Complexity of answering queries using materialized views. In ACM Symposium on Principles of Database Systems (PODS) (1998) 254-263.
2. Avigad, J., Dean, E., Mumma, J. A formal system for euclid's elements. Rev. Symb. Logic (2009). To appear.
3. Bernstein, P.A., Haas, L.M. Information integration in the enterprise. Commun. ACM 51, 9 (2008), 72-79.
4. Codd, E.F. A relational model for large shared data banks. Commun. ACM 13 (1970), 377-387.
5. Codd, E.F. Relational completeness of data base sublanguages. Database Systems. R. Rustin, ed. Prentice-Hall, 1972, 33-64.
6. Duschka, O.M., Genesereth, M.R. Answering recursive queries using views. ACM Symposium on Principles of Database Systems (PODS) (1997), 109-116.
7. Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L. Data exchange: semantics and query answering. Theor. Comp. Sci. 336, 1 (2005), 89-124.
8. Fagin, R., Kolaitis, P.G., Popa, L. Data exchange: getting to the core. ACM Trans. Database Syst. 30, 1 (2005), 174-210.
9. Fagin, R., Kolaitis, P.G., Popa, L., Tan, W.-C. Composing schema mappings: second-order dependencies to the rescue. ACM Trans. Database Syst. 30, 4 (2005), 994-1055.
10. Fagin R., Vardi, M.Y. The theory of data dependencies-a survey. Mathematics of Information Processing, volume 34 of Proceedings of Symposia in Applied Mathematics, american Mathematical society, 1986, 19-71.
11. Fuxman, A., Hernandez, M.A., Ho, H., Miller, R.J., Papotti, P., Popa, L. Nested mappings: schema mapping reloaded. International Conference on Very Large Data Bases (VLDB) (2006), 67-78.
12. Haas, L.M. Beauty and the beast: the theory and practice of information integration. International Conference on Database Theory (ICDT) (2007), 28-43.
13. Haas, L.M., Hernández, M.A., Ho, H., Popa, L., Roth, M. Clio grows up: from research prototype to industrial T. ACM International Conference on Management of Data (SIGMOD) (2005), 805-810.
14. Kolaitis, P.G. Schema mappings, data exchange, and metadata management. ACM Symposium on Principles of Database Systems (PODS) (2005), 61-75.
15. Lenzerini, M. Data integration: a theoretical perspective. ACM Symposium on Principles of Database Systems (PODS) (2002), 233-246.
16. Rossman, B. Existential positive types and preservation under homomorphisms. Symposium on Logic in Computer Science (LICS) (2005), 467-476.
17. Ten Cate, B., Kolaitis, P.G. Structural characterizations of schema-mapping languages. International Conference on Database Theory (ICDT) (2009), 63-72.
18. Trakhtenbrot, B. Impossibility of an algorithm for the decision problem on fnite classes. Dokl. Akad. Nauk. SSSR, 70 (1950), 569-572.
19. Van der Meyden, R. Logical approaches to incomplete information: a survey. Logics for Databases and Information Systems. Kluwer, 1998, 307-356.