Towards a theory of refinement for data migration

Authors:
Bernhard Thalheim;Qing Wang
Affiliations:
Department of Computer Science, Christian-Albrechts-University Kiel, Germany;Department of Information Science, University of Otago, Dunedin, New Zealand
Venue:
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Year:
2011

Citing 8
Cited 1

Software aging

ICSE '94 Proceedings of the 16th international conference on Software engineering
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Entity-Relationship Modeling: Foundations of Database Technology

Entity-Relationship Modeling: Foundations of Database Technology
Legacy Information Systems: Issues and Directions

IEEE Software
Modeling and Transformation of Object-Oriented Conceptual Models into XML Schema

DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
A survey of approaches to automatic schema matching

The VLDB Journal — The International Journal on Very Large Data Bases
Abstract State Machines: A Method for High-Level System Design and Analysis

Abstract State Machines: A Method for High-Level System Design and Analysis
A customised ASM thesis for database transformations

Acta Cybernetica

Load balance for semantic cluster-based data integration systems

Proceedings of the 17th International Database Engineering & Applications Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

We develop a theoretical framework for refining transformations occurring in the process of data migration. A legacy kernel can be discovered at a high-level abstraction which consolidates heterogeneous data sources in a legacy system. We then show that migration transformations are specified via the composition of two subclasses of transformations: property-preserving transformations and property-enhancing transformations at flexible levels of abstraction. By defining a refinement scheme with the notions of correct refinements for property-preserving and property-enhancing transformations, we are able to stepwise refine migration transformations and to prove the correctness of refinements. The result of this paper lays down a formal foundation for investigating data migration.