The Z notation: a reference manual
The Z notation: a reference manual
Methods and tools for equivalent data model mapping construction
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
Specifications and their use in defining subtypes
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Strategies for incorporating formal specifications in software development
Communications of the ACM
Formal definition of mappings in a data base
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
Design of relational views over network schemas
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
Data models transformation method based on axiomatic data model extension
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
Information Sources Registration at a Subject Mediator as Compositional Development
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
Compositional Specification Calculus for Information Systems Development
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
Extensible canonical process model synthesis applying formal interpretation
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
ADBIS'12 Proceedings of the 16th East European conference on Advances in Databases and Information Systems
| Hi-index | 0.00 |
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 metamodel 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