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.
Sommario non disponibile.
Ensuring correctness of personalised schema refinement transformations
Castelli D;
1998
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_242081-doc_63253.pdf
solo utenti autorizzati
Descrizione: Ensuring correctness of personalised schema refinement transformations
Tipologia:
Versione Editoriale (PDF)
Dimensione
79.42 kB
Formato
Adobe PDF
|
79.42 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
