Towards a theory of refinement for data migration

Bernhard Thalheim; Qing Wang

doi:10.1007/978-3-642-24606-7_24

Towards a theory of refinement for data migration

Bernhard Thalheim^*, Qing Wang

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

8 Citations (Scopus)

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.

Original language	English
Title of host publication	Conceptual Modeling, ER 2011 - 30th International Conference, Proceedings
Pages	318-331
Number of pages	14
DOIs	https://doi.org/10.1007/978-3-642-24606-7_24
Publication status	Published - 2011
Externally published	Yes
Event	30th International Conference on Conceptual Modeling, ER 2011 - Brussels, Belgium Duration: 31 Oct 2011 → 3 Nov 2011

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6998 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	30th International Conference on Conceptual Modeling, ER 2011
Country/Territory	Belgium
City	Brussels
Period	31/10/11 → 3/11/11

Access to Document

10.1007/978-3-642-24606-7_24

Cite this

Thalheim, B., & Wang, Q. (2011). Towards a theory of refinement for data migration. In Conceptual Modeling, ER 2011 - 30th International Conference, Proceedings (pp. 318-331). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6998 LNCS). https://doi.org/10.1007/978-3-642-24606-7_24

@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",

}

Thalheim, B & Wang, Q 2011, Towards a theory of refinement for data migration. in Conceptual Modeling, ER 2011 - 30th International Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6998 LNCS, pp. 318-331, 30th International Conference on Conceptual Modeling, ER 2011, Brussels, Belgium, 31/10/11. https://doi.org/10.1007/978-3-642-24606-7_24

Towards a theory of refinement for data migration. / Thalheim, Bernhard; Wang, Qing.
Conceptual Modeling, ER 2011 - 30th International Conference, Proceedings. 2011. p. 318-331 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6998 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Towards a theory of refinement for data migration

AU - Thalheim, Bernhard

AU - Wang, Qing

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=80455168046&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-24606-7_24

DO - 10.1007/978-3-642-24606-7_24

M3 - Conference contribution

AN - SCOPUS:80455168046

SN - 9783642246050

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 318

EP - 331

BT - Conceptual Modeling, ER 2011 - 30th International Conference, Proceedings

T2 - 30th International Conference on Conceptual Modeling, ER 2011

Y2 - 31 October 2011 through 3 November 2011

ER -

Towards a theory of refinement for data migration

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this