Mathematics of generic specifications for model management (2005)
| Venue: | Encyclopedia of Database Technologies and Applications |
| Citations: | 6 - 4 self |
BibTeX
@INPROCEEDINGS{Diskin05mathematicsof,
author = {Zinovy Diskin},
title = {Mathematics of generic specifications for model management},
booktitle = {Encyclopedia of Database Technologies and Applications},
year = {2005},
pages = {351--366},
publisher = {Idea Group}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This article (further referred to as Math-I), and the next one (further referred to as Math-II, see p. 359), form a mathematical companion to the article in this encyclopedia on Generic Model Management (further referred to as GenMMt, see p.258). Articles Math-I and II present the basics of the arrow diagram machinery that provides model management with truly generic specifications. Particularly, it allows us to build a generic pattern for heterogeneous data and schema transformation, which is presented in Math-II for the first time in the literature.
Citations
| 369 | Category Theory for Computing Science - Barr, Wells - 1990 |
| 94 | A categorical manifesto - Goguen - 1991 |
| 89 | Categorical logic and type theory - Jacobs - 1999 |
| 64 | Conceptual Mathematics: A First Introduction to Categories. Cambridge UP - Lawvere, Schanuel |
| 36 | Categories, Allegories - Freyd, Scedrov - 1990 |
| 8 | Variable set semantics for keyed generalized sketches: Formal semantics for object identity and abstract syntax for conceptual modeling - Diskin, Kadish |
| 1 | On modeling, mathematics, category theory and RM-ODP - Diskin - 2001 |
| 1 | An introduction to fibrations, topos theory, the effective topos and modest sets (Research Rep - Poya - 1992 |
| 1 | it is a triple (C,B,f) with C a category (of, say, models), B another category (of metamodels) called base, and f: C → B a functor (mapping) between categories (that assigns to each model its metamodel). Given a base object (metamodel) M ∈ B, those C –obj - Roughly - 1992 |
