Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2016, April 20
Author: Mossakowski, Till
Title: Database Scheme Integration Using DOL and Spivak's Categorical Databases


We turn Spivak's Categorical Databases into a logic (institution), such that it can be used with the distributed ontology, modeling and specification language (DOL). We then show how DOL's combination of networks of alignments realise database scheme integration.
Back to the Oberseminar web page