Institutions for SQL database schemas and datasets

DOI10.1007/978-3-030-23220-7_4zbMath1444.68068OpenAlexW2954047167MaRDI QIDQ2185885

Martin Glauer, Till Mossakowski

Publication date: 8 June 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-23220-7_4

zbMATH Keywords

SQLinstitutionscategory theorydatabasesqueriesderived signature morphisms

Mathematics Subject Classification ID

Database theory (68P15) Abstract data types; algebraic specification (68Q65) Categorical semantics of formal languages (18C50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A categorical theory of patches
• Foundations of algebraic specification and formal software development.
• Institution morphisms
• Generalized interpolation in CASL
• Specifications in an arbitrary institution
• Functorial theory of parameterized specifications in a general specification framework
• Herbrand theorems in arbitrary institutions
• Institution-independent model theory
• What Is a Derived Signature Morphism?
• Algebraic Databases
• Institutions: abstract model theory for specification and programming
• Algebraic data integration
• Algebraic Model Management: A Survey
• A Relatively Complete Calculus for Structured Heterogeneous Specifications

This page was built for publication: Institutions for SQL database schemas and datasets