References - Foundations of Data Exchange - page 323

Fagin, R., Kolaitis, P. G., Miller, R. J., and Popa, L. 2005a. Data exchange: Semantics and
query answering. Theoretical Computer Science , 336, 89-124. Preliminary version
in Proc. 2003 International Conference on Database Theory , pp. 207-224.
Fagin, R., Kolaitis, P., Nash, A., and Popa, L. 2008a. Towards a theory of schema-mapping
optimization. Pages 33-42 of: Proceedings of the 27th ACM Symposium on Principles
of Database Systems (PODS) .
Fagin, R., Haas, L., Hernandez, M., Miller, R., Popa, L., and Velegrakis, Y. 2009. Clio:
Schema mapping creation and data exchange. Pages 198-236 of: Conceptual Mod-
eling: Foundations and Applications, Essays in Honor of John Mylopoulos . Lecture
Notes in Computer Science, vol. 5600. Springer-Verlag.
Fagin, R. 2007. Inverting schema mappings.

ACM Transactions on Database Systems ,

32(4).
Fagin, R., and Kolaitis, P. G. 2012. Local transformations and conjunctive-query equiva-
lence. Pages 179-190 of: Proceedings of the 31st ACM Symposium on Principles of
Database Systems (PODS) .
Fagin, R., and Nash, A. 2010. The structure of inverses in schema mappings. Journal of
the ACM , 57(6), 31.
Fagin, R., Kolaitis, P. G., Popa, L., and Tan, W. C. 2005b. Composing schema mappings:
Second-order dependencies to the rescue. ACM Transactions on Database Systems ,
30(4), 994-1055.
Fagin, R., Kolaitis, P., and Popa, L. 2005c. Data exchange: Getting to the core. ACM

Transactions on Database Systems , 30(1), 174-210.
Fagin, R., Kolaitis, P. G., Popa, L., and Tan, W. C. 2008b. Quasi-inverses of schema
mappings. ACM Trans. Database Syst. , 33(2), 11:1-11:52.
Fagin, R., Kimelfeld, B., and Kolaitis, P. 2010. Probabilistic data exchange. Pages 76-88
of: International Conference on Database Theory (ICDT) .
Fagin, R., Kolaitis, P. G., Popa, L., and Tan, W. C. 2011. Reverse data exchange: Coping
with nulls. ACM Trans. Database Syst. , 36(2), 11.
Feinerer, I., Pichler, R., Sallinger, E., and Savenkov, V. 2011. On the undecidability of the
equivalence of second-order tuple generating dependencies. In: Proceedings of the
5th Alberto Mendelzon International Workshop on Foundations of Data Management
(AMW) .
Fuxman, A., Kolaitis, P., Miller, R., and Tan, W.-C. 2006. Peer data exchange. ACM

Transactions on Database Systems , 31(4), 1454-1498.
Garcia-Molina, H., Ullman, J., and Widom, J. 2001. Database Systems: The Complete

Book . Prentice Hall.
Garey, M., and Johnson, D. 1979. Computers and Intractability: A Guide to the Theory of
NP-Completeness . W. H. Freeman and Company.
Gheerbrant, A., Libkin, L., and Tan, T. 2012. On the complexity of query answering
over incomplete XML documents. Pages 169-181 of: International Conference on
Database Theory (ICDT) .
Giacomo, G. D., Lembo, D., Lenzerini, M., and Rosati, R. 2007. On reconciling data
exchange, data integration, and peer data management. Pages 133-142 of: ACM Sym-
posium on Principles of Database Systems (PODS) .
Gottlob, G., and Nash, A. 2008. Efficient core computation in data exchange. Journal of
the ACM , 55(2).
Gottlob, G., Koch, C., Pichler, R., and Segoufin, L. 2005. The complexity of XPath query
evaluation and XML typing. Journal of the ACM , 52(2), 284-335.