Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2016, December 13
Author: Glauer, Martin
Title: An Equational Formalism and Design Pattern for Functorial Data Integration


Earlier this year we heard about categorical databases by Spivak et al. The presented functorial data model was refined by Wisnesky et al. in 2016. I will explain their results that model schema and data descriptions of databases using multisorted equational logic. Finally, I will point out possible directions for further research.


Back to the Oberseminar web page