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.