Date: | 2018, June 27 |
Author: | Mossakowski, Till and Glauer, Martin |
Title: | Institutions for Database Schemas and Datasets |
We define an institution for relational databases. Unlike other
approaches, we closely follow the SQL standard. So the institution
provides signatures that allow for speaking about tables, their columns
and types, as well as sentences that are constraints on these tables
(e.g. foreign key constraints).
The data stored in the database are objects of the model category.
Morphisms amongst these models represent operation of the data
manipulation language (DML), like INSERT or DELETE.
Finally, the satisfaction relation checks whether the data the
database (i.e. a model) conforms to a specified constraint
(i.e. a sentence).