Faculty of Computer Science
Research Group Theoretical Computer Science
Oberseminar: Heterogene formale Methoden
2016, April 13
Spivak's Categorical Databases
Category theory (CT) is an abstract and flexible mathematical theory. D. Spivak has used it to model relational databases. Some advantages are:
CT allows for non-relational tables (e.g. duplicates in a query).
Labeled nulls and semi-structured data fit in neatly.
CT offers guidance for schema mapping and data migration.
Back to the Oberseminar web page