%0 Conference Paper %1 conf/wadt/GlauerM18 %A Glauer, Martin %A Mossakowski, Till %B WADT %D 2019 %E Fiadeiro, José Luiz %E Tutu, Ionut %I Springer %K SQL amalgamation database institution %P 67-86 %R https://doi.org/10.1007/978-3-030-23220-7_4 %T Institutions for SQL Database Schemas and Datasets. %U https://link.springer.com/chapter/10.1007%2F978-3-030-23220-7_4 %V 11563 %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. %@ 978-3-030-23220-7

@inproceedings{conf/wadt/GlauerM18, 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. }, added-at = {2019-08-02T08:50:44.000+0200}, author = {Glauer, Martin and Mossakowski, Till}, biburl = {https://www.bibsonomy.org/bibtex/260dd9431a76af7b579d16f608ed91008/tillmo}, booktitle = {WADT}, crossref = {conf/wadt/2018}, doi = {https://doi.org/10.1007/978-3-030-23220-7_4}, editor = {Fiadeiro, José Luiz and Tutu, Ionut}, ee = {https://doi.org/10.1007/978-3-030-23220-7_4}, interhash = {13491faf5b4e04b67adf847df3c2124d}, intrahash = {60dd9431a76af7b579d16f608ed91008}, isbn = {978-3-030-23220-7}, keywords = {SQL amalgamation database institution}, pages = {67-86}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-02T08:50:44.000+0200}, title = {Institutions for SQL Database Schemas and Datasets.}, url = {https://link.springer.com/chapter/10.1007%2F978-3-030-23220-7_4}, volume = 11563, year = 2019 }