ASSO, a Formal Database Design Methodology which combines features of the database area with formal methods, is now being defined at IEI CNR. The methodology retains typical database models, thus permitting a flexible description of the conceptual schema and an efficient implementation, but at the same time guarantees the correctness of the design.
Asso : combining database design with formal methods
Castelli D;Locuratolo E
1995
Abstract
ASSO, a Formal Database Design Methodology which combines features of the database area with formal methods, is now being defined at IEI CNR. The methodology retains typical database models, thus permitting a flexible description of the conceptual schema and an efficient implementation, but at the same time guarantees the correctness of the design.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_241906-doc_63163.pdf
solo utenti autorizzati
Descrizione: asso 3
Tipologia:
Versione Editoriale (PDF)
Dimensione
422.43 kB
Formato
Adobe PDF
|
422.43 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.