Methods and Tools for Equivalent Data Model Mapping Construction

• Main Authors: Leonid Kalinichenko Institute, Leonid Kalinichenko
• Other Authors: The Pennsylvania State University CiteSeerX Archives
• Format: Text
• Language: English
• Published: Springer-Verlag 1990
• Subjects: DML
• Online Access: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.7092; http://www.ipi.ac.ru/synthesis/publications/eqdatamap/eqdatamap.ps

The paper contributes to the elaboration of a methodological framework for solving the problem of data model heterogeneity in the interoperable information resource environment. It presents an approach to rigorous definition of data models and to the handling of them as formal objects provided for the development of data model mappings in the process of design of heterogeneous information resource environment. The paper defines strict principles and specific techniques facilitating verifiable design of commutative data model mappings. The methods introduced make it possible to construct generalized data model kernel extensions equivalent to various internal data models and to develop and verify algorithms of the generalized level DML interpreters 1 . 1 Introduction This paper (published as [23]) contains the results defining an approach for equivalent transformation of heterogeneous data models. Partly the results are based on the experience in the development and applicatio.