@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
}