Skip to Main content Skip to Navigation
Conference papers

Institutions for SQL Database Schemas and Datasets

Abstract : Databases and the query language SQL play a major role in modern applications. In this paper we present an institution-based formalisation of relational databases that uses structures close to those used in SQL. This is the essential difference to other category-theoretical formalisations of databases, which often depart quite far from the SQL standard. We also study SQL queries, using institutional monads, and prove cocompleteness and amalgamation results for the institution.
Document type :
Conference papers
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, November 15, 2019 - 9:03:18 AM
Last modification on : Monday, May 30, 2022 - 5:36:02 PM
Long-term archiving on: : Sunday, February 16, 2020 - 1:24:52 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Martin Glauer, Till Mossakowski. Institutions for SQL Database Schemas and Datasets. 24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.67-86, ⟨10.1007/978-3-030-23220-7_4⟩. ⟨hal-02364575⟩



Record views


Files downloads