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 <>
Submitted on : Friday, November 15, 2019 - 9:03:18 AM
Last modification on : Friday, November 15, 2019 - 9:05:04 AM
Long-term archiving on: : Sunday, February 16, 2020 - 1:24:52 PM


 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2022-01-01

Please log in to resquest access to the document


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