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

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.
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)
Loading...

Dates and versions

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

Licence

Attribution

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook X LinkedIn More