%0 Conference Proceedings
%T Institutions for SQL Database Schemas and Datasets
%+ Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University [Magdeburg] (OVGU)
%A Glauer, Martin
%A Mossakowski, Till
%Z Part 3: Contributed Papers
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 24th International Workshop on Algebraic Development Techniques (WADT)
%C Egham, United Kingdom
%Y José Luiz Fiadeiro
%Y Ionuț Țuțu
%I Springer International Publishing
%3 Recent Trends in Algebraic Development Techniques
%V LNCS-11563
%P 67-86
%8 2018-07-02
%D 2018
%R 10.1007/978-3-030-23220-7_4
%K Databases
%K SQL
%K Category theory
%K Institutions
%K Queries
%K Derived signature morphisms
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 1
%Z WG 1.3
%2 https://inria.hal.science/hal-02364575/document
%2 https://inria.hal.science/hal-02364575/file/486157_1_En_4_Chapter.pdf
%L hal-02364575
%U https://inria.hal.science/hal-02364575
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-WG1-3
%~ IFIP-WADT
%~ IFIP-LNCS-11563