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
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;
Conference_Titel :
Database and Expert Systems Applications, 1998. Proceedings. Ninth International Workshop on
Conference_Location :
Vienna
Print_ISBN :
0-8186-8353-8
DOI :
10.1109/DEXA.1998.707382
