Database Scheme Integration Using DOL and Spivak's Categorical Databases
Abstract:
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 Webmaster