S. Abiteboul, R. Hull, and V. Vianu, Foundations of Databases, 1995.

S. Alagic and P. Bernstein, A Model Theory for Generic Schema Management, DBPL, 2001.
DOI : 10.1007/3-540-46093-4_14

M. Barr and C. Wells, Category Theory for Computing Science, 1995.

P. A. Bernstein and S. Melnik, Model management 2.0, Proceedings of the 2007 ACM SIGMOD international conference on Management of data , SIGMOD '07, 2007.
DOI : 10.1145/1247480.1247482

H. Doan, A. Halevy, and Z. Ives, Principles of Data Integration, 2012.

H. B. Enderton, A Mathematical introduction to logic, 2001.

R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa, Data exchange: Semantics and query answering, Theoretical Computer Science, 2005.
DOI : 10.1016/j.tcs.2004.10.033

URL : https://doi.org/10.1016/j.tcs.2004.10.033

R. Fagin, P. G. Kolaitis, L. Popa, and W. Tan, Composing schema mappings: Secondorder dependencies to the rescue, TODS, 2005.

R. Fagin, P. G. Kolaitis, L. Popa, and W. Tan, Quasi-inverses of schema mappings, TODS, 2008.
DOI : 10.1145/1265530.1265548

URL : http://www.almaden.ibm.com/cs/people/fagin/tods08.pdf

R. Fagin, Inverting schema mappings, TODS, 2007.

M. Fleming, R. Gunther, and R. Rosebrugh, A database of categories, Journal of Symbolic Computation, vol.35, issue.2, 2003.
DOI : 10.1016/S0747-7171(02)00104-9

S. Ghilardi, C. Lutz, and F. Wolter, Did I damage my ontology? Principles of Knowledge Representation and Reasoning (2006) 13, Goguen, J.: Information integration in institutions

L. M. Haas, M. A. Hernández, H. Ho, L. Popa, and M. Roth, Clio grows up, Proceedings of the 2005 ACM SIGMOD international conference on Management of data , SIGMOD '05, 2005.
DOI : 10.1145/1066157.1066252

W. Hodges, A Shorter Model Theory, 1997.

S. Melnik, Generic Model Management: Concepts And Algorithms (Lecture Notes in Computer Science), 2004.
DOI : 10.1007/b97859

J. C. Mitchell, Foundations of Programming Languages, 1996.

T. Mossakowski, U. Krumnack, and T. Maibaum, What Is a Derived Signature Morphism?, 2014.
DOI : 10.1016/j.cogsys.2008.09.002

P. Schultz, D. I. Spivak, C. Vasilakopoulou, and R. Wisnesky, Algebraic databases, Theory and Applications of Categories, 2017.

P. Schultz and R. Wisnesky, Algebraic data integration (unpublished) http://arxiv.org/abs/1503, p.3571, 2016.

D. I. Spivak, Functorial data migration, Information and Computation, vol.217, 2012.
DOI : 10.1016/j.ic.2012.05.001

URL : https://doi.org/10.1016/j.ic.2012.05.001

D. I. Spivak, Database queries and constraints via lifting problems, Mathematical Structures in Computer Science, vol.7, issue.52, 2014.
DOI : 10.1007/BFb0063104

D. I. Spivak and R. Wisnesky, Relational foundations for functorial data migration, Proceedings of the 15th Symposium on Database Programming Languages, DBPL 2015, 2015.
DOI : 10.1016/j.ic.2012.05.001

URL : http://arxiv.org/pdf/1212.5303