Method for Data Models Integration in the Common Paradigm.

Leonid A. Kalinichenko: Method for Data Models Integration in the Common Paradigm. ADBIS 1997: 275-284
  author    = {Leonid A. Kalinichenko},
  title     = {Method for Data Models Integration in the Common Paradigm},
  booktitle = {Proceedings of the First East-European Symposium on Advances
               in Databases and Information Systems (ADBIS'97), St.-Petersburg,
               September 2-5, 1997. Volume 1: Regular Papers},
  publisher = {Nevsky Dialect},
  year      = {1997},
  pages     = {275-284},
  ee        = {db/conf/adbis/Kalinichenko97.html},
  crossref  = {DBLP:conf/adbis/97},
  bibsource = {DBLP,}


The importance of use of the concept of refinement for heterogeneous multidatabase interoperation research and development is emphasized. Using this concept, the commutative data model mapping method [12] is reconsidered. The method provides for verifiable design of the data model mappings handling the models as formal objects in frame of an abstract metamodel. For such meta-model an abstract machine notation is used combining pure mathematical notation with an ability to automatically prove important properties of the data type definitions as well as the subtype property based on the refinement concept.

The concept of data model refinement is introduced. Data model commutative mapping method is based on this notion. The method is specifically oriented on extensible data model mapping (such as the object data models). To preserve information and operations of types of a specific data model while mapping them into the canonical types the commutativity of two mapping diagrams (data type state and data type behavior diagrams) should be established. The required state-based and behavioral properties of the mappings lead to a proof that a source data model is a refinement of its mapping into the canonical data model.

The applicability of the method is demonstrated on the mapping of the ODMG'93 constructs (the relationship type) into canonical data types. The SYNTHESIS language is used for the canonical data model.

Copyright © 1997 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 5, SSDBM, DBPL, KRDB, ADBIS, COOPIS, SIGBDP" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX


Horst Biller, Wolfgang Glatthaar: On the Semantics of Data Bases: The Semantics of Data Definition Languages. GI Jahrestagung 1975: 221-234 BibTeX
Horst Biller, Erich J. Neuhold: Semantics of data bases: The semantics of data models. Inf. Syst. 3(1): 11-30(1978) BibTeX
Sheldon A. Borkin: Data Model Equivalence. VLDB 1978: 526-534 BibTeX
Gerald Huck, Peter Fankhauser, Ralph Busse, Wolfgang Klas: IRO-DB An Object-Oriented Approach towards Federated and Interoperable DBMS (Invited Paper). ADBIS 1994: 178-186 BibTeX
Leonid A. Kalinichenko: Data Models Transformation Method Based on Axiomatic Data Model Extension. VLDB 1978: 549-555 BibTeX
Leonid A. Kalinichenko: Methods and Tools for Equivalent Data Model Mapping Construction. EDBT 1990: 92-119 BibTeX
Barbara Liskov, Jeannette M. Wing: Specifications and Their Use in Defining Subtypes. OOPSLA 1993: 16-28 BibTeX
R. G. G. Cattell: The Object Database Standard: ODMG-93 (Release 1.1). Morgan Kaufmann 1994
Paolo Paolini, Giuseppe Pelagatti: Formal Definition of Mappings in a Data Base. SIGMOD Conference 1977: 40-46 BibTeX
Martin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi: Strategies for Incorporating Formal Specifications in Software Development. Commun. ACM 37(10): 74-86(1994) BibTeX
Carlo Zaniolo: Design of Relational Views over Network Schemas. SIGMOD Conference 1979: 179-190 BibTeX

Referenced by

  1. Leonid A. Kalinichenko: Compositional Specification Calculus for Information Systems Development. ADBIS 1999: 317-331
  2. Dmitry O. Briukhov, Leonid A. Kalinichenko: Component-Based Information Systems Development Tool Supporting the SYNTHESIS Design Method. ADBIS 1998: 305-327
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 22:56:33 2009