Sommario non disponibile.
This paper extends a database schema transformation lan- guage, called Schema Renement Language, with a composition operator and a rule for deriving the conditions under which a composed trans-formation is guaranteed to produce a correct schema refinement. The framework that results from this extension can be exploited for improv-ing the reliability of the database schema design also when other design frameworks are used.
A transformational approach to correct schema refinements.
Castelli D;
1998
Abstract
This paper extends a database schema transformation lan- guage, called Schema Renement Language, with a composition operator and a rule for deriving the conditions under which a composed trans-formation is guaranteed to produce a correct schema refinement. The framework that results from this extension can be exploited for improv-ing the reliability of the database schema design also when other design frameworks are used.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_242230-doc_63325.pdf
solo utenti autorizzati
Descrizione: A transformational approach to correct schema refinements
Tipologia:
Versione Editoriale (PDF)
Dimensione
137.27 kB
Formato
Adobe PDF
|
137.27 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.
