DocumentCode
2262946
Title
Ensuring correctness of personalised schema refinement transformations
Author
Castelli, Donatella ; Pisani, Serena
Author_Institution
Consiglio Nazionale delle Richerche, Ist. di Elaborazione dell Inf., Pisa, Italy
fYear
1998
fDate
25-28 Aug 1998
Firstpage
70
Lastpage
75
Abstract
The paper extends a database schema transformation language with a composition operator and a rule for deriving the conditions under which a composed transformation is guaranteed to produce a correct design. The framework that results from this extension can be exploited for supporting a flexible and correct database schema design also when other transformational languages are used
Keywords
database languages; database management systems; database theory; program verification; composed transformations; composition operator; correct database schema design; correctness; database schema transformation language; personalised schema refinement transformations; transformational languages; Databases; Electrical capacitance tomography; Handicapped aids; Postal services; Proposals; Read only memory; Satellite broadcasting; Shape;
fLanguage
English
Publisher
ieee
Conference_Titel
Database and Expert Systems Applications, 1998. Proceedings. Ninth International Workshop on
Conference_Location
Vienna
Print_ISBN
0-8186-8353-8
Type
conf
DOI
10.1109/DEXA.1998.707382
Filename
707382
Link To Document