The Arrow Logic of Metadata Environment: A Formalised Graph-Based Framework for Structuring Metadata Repositories (1997)
| Citations: | 1 - 1 self |
BibTeX
@MISC{Diskin97thearrow,
author = {Zinovy Diskin},
title = {The Arrow Logic of Metadata Environment: A Formalised Graph-Based Framework for Structuring Metadata Repositories},
year = {1997}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A graphical formalized language is proposed for structuring metadata environments. The language is based on the notion of mapping (morphism) between data schemas and suitable for any data model for which schema morphisms are defined. In particular, the constructs of view, refinement and schema integration can be expressed in our arrow formalism and correspondingly specified. On this ground a general graph-based pattern is proposed for structuring data schema libraries. Basic constructions of the language and the entire framework as well can be considered as specializations of very general constructs developed in the mathematical category theory. This provides the language with a firm mathematical foundation. A distinctive feature of the framework is its algebraic nature. In particular, it is shown that the well known problems of view updateability and lossless refinement can be algebraically formulated in a mutually dual way.
