Towards a theory of refinement for data migration
| dc.contributor.author | Thalheim, Bernhard | en |
| dc.contributor.author | Wang, Qing | en |
| dc.date.accessioned | 2025-12-17T13:40:58Z | |
| dc.date.available | 2025-12-17T13:40:58Z | |
| dc.date.issued | 2011 | en |
| dc.description.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. | en |
| dc.description.status | Peer-reviewed | en |
| dc.format.extent | 14 | en |
| dc.identifier.isbn | 9783642246050 | en |
| dc.identifier.issn | 0302-9743 | en |
| dc.identifier.other | ORCID:/0000-0001-9504-4273/work/162121082 | en |
| dc.identifier.scopus | 80455168046 | en |
| dc.identifier.uri | https://hdl.handle.net/1885/733795923 | |
| dc.language.iso | en | en |
| dc.relation.ispartof | Conceptual Modeling, ER 2011 - 30th International Conference, Proceedings | en |
| dc.relation.ispartofseries | 30th International Conference on Conceptual Modeling, ER 2011 | en |
| dc.relation.ispartofseries | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | en |
| dc.title | Towards a theory of refinement for data migration | en |
| dc.type | Conference paper | en |
| dspace.entity.type | Publication | en |
| local.bibliographicCitation.lastpage | 331 | en |
| local.bibliographicCitation.startpage | 318 | en |
| local.contributor.affiliation | Thalheim, Bernhard; Kiel University | en |
| local.contributor.affiliation | Wang, Qing; University of Otago | en |
| local.identifier.ariespublication | u4334215xPUB1363 | en |
| local.identifier.doi | 10.1007/978-3-642-24606-7_24 | en |
| local.identifier.essn | 1611-3349 | en |
| local.identifier.pure | 045e60bb-ad79-4305-9b54-e9f2a69c8324 | en |
| local.identifier.url | https://www.scopus.com/pages/publications/80455168046 | en |
| local.type.status | Published | en |