DocumentCode :
1591043
Title :
Relational database reverse engineering: a model-centric, transformational, interactive approach formalized in model theory
Author :
Embley, David W. ; Xu, Mingkang
Author_Institution :
Brigham Young Univ., Provo, UT, USA
fYear :
1997
Firstpage :
372
Lastpage :
377
Abstract :
Approaches to relational database reverse engineering often expect that the input has desirable characteristics and that it is complete; they also often fail to provide formal guarantees that their results are faithful to the initial input. Both of these problems can be addressed by using an incremental approach based on a formally defined target model. The incremental approach we propose in this paper quickly produces an initial model instance that is provably equivalent to the original relational database, which is assumed to be correct but may lack desirable characteristics and may be incomplete. The approach then proceeds incrementally using provably correct transformations. These incremental transformations allow for user interaction to provide needed information that may be missing or hard to obtain because the input lacks some desirable characteristics
Keywords :
database theory; formal specification; interactive systems; relational databases; reverse engineering; completeness; desirable input characteristics; faithful results; formally defined target model; incremental approach; incremental transformations; information provision; initial model instance; interactive approach; missing information; model theory; model-centric approach; object-relationship model; provably correct transformations; relational database reverse engineering; transformational approach; user interaction; Data engineering; Object oriented databases; Object oriented modeling; Proposals; Prototypes; Relational databases; Reverse engineering; USA Councils;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Database and Expert Systems Applications, 1997. Proceedings., Eighth International Workshop on
Conference_Location :
Toulouse
Print_ISBN :
0-8186-8147-0
Type :
conf
DOI :
10.1109/DEXA.1997.617315
Filename :
617315
Link To Document :
بازگشت