S. Alagi? and P. A. Bernstein, A model theory for generic schema management, International Workshop on Database Programming Languages, pp.228-246, 2001.

T. Borzyszkowski, Generalized interpolation in CASL, Information Processing Letters, vol.76, issue.1-2, pp.19-24, 2000.

R. Diaconescu, Herbrand theorems in arbitrary institutions, Information Processing Letters, vol.90, pp.29-37, 2004.

R. Diaconescu, J. Goguen, and P. Stefaneas, Logical support for modularisation, Proceedings of a Workshop on Logical Frameworks, 1991.

R. Diaconescu, Institution-independent Model Theory, 2008.

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

H. Ehrig and M. Große-rhode, Functorial theory of parameterized specifications in a general specification framework, Theoretical Computer Science, vol.135, pp.221-266, 1994.

H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 2, 1990.

J. Goguen and G. Ro?u, Institution morphisms. Formal aspects of computing 13, pp.274-307, 2002.

J. A. Goguen and R. M. Burstall, Institutions: Abstract model theory for specification and programming, Journal of the ACM (JACM), vol.39, issue.1, pp.95-146, 1992.

J. Melton, ISO/IEC 9075-2: 2003 (SQL/foundation). ISO standard, 2003.

S. Mimram and C. Di-giusto, A categorical theory of patches. Electronic notes in theoretical computer science, vol.298, pp.283-307, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00904156

T. Mossakowski, U. Krumnack, and T. Maibaum, What is a derived signature morphism?, Recent Trends in Algebraic Development Techniques -22nd International Workshop, vol.9463, pp.90-109, 2014.

T. Mossakowski, C. Maeder, and K. Lüttich, The Heterogeneous Tool Set, TACAS 2007, vol.4424, pp.519-522, 2007.

T. Mossakowski and A. Tarlecki, A relatively complete calculus for structured heterogeneous specifications, Foundations of Software Science and Computation Structures -17th International Conference, vol.8412, pp.441-456, 2014.

. Springer, , 2014.

, Object Management Group: The distributed ontology, modeling, and specification language, DOL), 2018.

J. B. Rosser and A. Turquette, Many-valued logics, 1952.

D. Sannella and A. Tarlecki, Specifications in an arbitrary institution, Information and Computation, vol.76, pp.165-210, 1988.

D. Sannella and A. Tarlecki, Foundations of Algebraic Specification and Formal Software Development, Monographs in Theoretical Computer Science. An EATCS Series, 2012.

W. M. Schorlemmer and Y. Kalfoglou, Institutionalising ontology-based semantic integration, Applied Ontology, vol.3, issue.3, pp.131-150, 2008.

P. Schultz, D. Spivak, C. Vasilakopoulou, and R. Wisnesky, Algebraic databases, Theory and Applications of Categories, vol.32, issue.16, pp.547-619, 2017.

P. Schultz, D. I. Spivak, and R. Wisnesky, Algebraic model management: A survey, Recent Trends in Algebraic Development Techniques -23rd IFIP WG 1.3 International Workshop, WADT 2016, vol.10644, pp.56-69, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01767471

P. Schultz and R. Wisnesky, Algebraic data integration, J. Funct. Program, vol.27, p.24, 2017.

D. I. Spivak and R. Wisnesky, Relational foundations for functorial data migration, Proceedings of the 15th Symposium on Database Programming Languages, pp.21-28, 2015.