Istituto di Scienza e Tecnologie dell'Informazione     
Castelli D., Pisani S. Ensuring correctness of personalised schema refinement transformations. In: Ninth International Workshop on Database and Expert Systems Applications : DEXA 98. Proceedings (Vienna, 1998), 70-75. R.R. Wagner (Ed.). IEEE, 1998. 1998.
This paper extends a database schema transformation language with a composition operator and a rule for deriving the conditions under which a composed transformations 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.
DOI: 10.1109/DEXA.1998.707382

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional