Institutions for SQL Database Schemas and Datasets - Recent Trends in Algebraic Development Techniques Access content directly
Conference Papers Year : 2019

Institutions for SQL Database Schemas and Datasets


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.
Fichier principal
Vignette du fichier
486157_1_En_4_Chapter.pdf (539.8 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02364575 , version 1 (15-11-2019)





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⟩
137 View
35 Download



Gmail Facebook X LinkedIn More