@inproceedings{045e60bbad7943059b54e9f2a69c8324,
title = "Towards a theory of refinement for data migration",
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.",
author = "Bernhard Thalheim and Qing Wang",
year = "2011",
doi = "10.1007/978-3-642-24606-7\_24",
language = "English",
isbn = "9783642246050",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "318--331",
booktitle = "Conceptual Modeling, ER 2011 - 30th International Conference, Proceedings",
note = "30th International Conference on Conceptual Modeling, ER 2011 ; Conference date: 31-10-2011 Through 03-11-2011",
}