Balder ten Cate
Phokion G. Kolaitis
- Abiteboul, S., Duschka, O.M. Complexity of answering queries using materialized views. In ACM Symposium on Principles of Database Systems (PODS) (1998) 254--263. Google Scholar
Digital Library
- Avigad, J., Dean, E., Mumma, J. A formal system for Euclid's Elements. Rev. Symb. Logic (2009). To appear.Google Scholar
- Bernstein, P.A., Haas, L.M. Information integration in the enterprise. Commun. ACM 51, 9 (2008), 72--79. Google ScholarDigital Library
- Codd, E.F. a relational model for large shared data banks. Commun. ACM 13 (1970), 377--387. Google ScholarDigital Library
- Codd, E.F. Relational completeness of data base sublanguages. Database Systems. R. Rustin, ed. Prentice-Hall, 1972, 33--64.Google Scholar
- Duschka, O.M., Genesereth, M.R. Answering recursive queries using views. ACM Symposium on Principles of Database Systems (PODS) (1997), 109--116. Google ScholarDigital Library
- Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L. Data exchange: semantics and query answering. Theor. Comp. Sci. 336, 1 (2005), 89--124. Google ScholarDigital Library
- Fagin, R., Kolaitis, P.G., Popa, L. Data exchange: getting to the core. ACM Trans. Database Syst. 30, 1 (2005), 174--210. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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.Google Scholar
- 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. Google ScholarDigital Library
- Haas, L.M. Beauty and the beast: the theory and practice of information integration. International Conference on Database Theory (ICDT) (2007), 28--43. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- Kolaitis, P.G. Schema mappings, data exchange, and metadata management. ACM Symposium on Principles of Database Systems (PODS) (2005), 61--75. Google ScholarDigital Library
- Lenzerini, M. Data integration: a theoretical perspective. ACM Symposium on Principles of Database Systems (PODS) (2002), 233--246. Google ScholarDigital Library
- Rossman, B. Existential positive types and preservation under homomorphisms. Symposium on Logic in Computer Science (LICS) (2005), 467--476. Google ScholarDigital Library
- ten Cate, B., Kolaitis, P.G. Structural characterizations of schema-mapping languages. International Conference on Database Theory (ICDT) (2009), 63--72. Google ScholarDigital Library
- Trakhtenbrot, B. Impossibility of an algorithm for the decision problem on finite classes. Dokl. Akad. Nauk. SSSR, 70 (1950), 569--572.Google Scholar
- van der Meyden, R. Logical approaches to incomplete information: a survey. Logics for Databases and Information Systems. Kluwer, 1998, 307--356. Google ScholarDigital Library
Index Terms
- Structural characterizations of schema-mapping languages
Recommendations
Towards a theory of schema-mapping optimization
PODS '08: Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systemsA schema mapping is a high-level specification that describes the relationship between two database schemas. As schema mappings constitute the essential building blocks of data exchange and data integration, an extensive investigation of the foundations ...
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
There are two ways to define a semantics for process algebras: either directly by means of an equivalence relation or by means of a preorder whose kernel is the desired equivalence. We are interested in the relationship between these two presentations. ...
Comments