Faculty of Computer Science
Research Group Theoretical Computer Science
Oberseminar: Heterogene formale Methoden
Date:
2016, April 13
Author:
Mossakowski, Till
Title:
Spivak's Categorical Databases
Abstract:
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
Webmaster