The main aspects of ASSO, a formal database design methodology, are introduced. ASSO integrates typical database features within the B-Method, a formal method from the software engineering area. As a result, ASSO guarantees design correctness while enabling the application requirements to be specified with the flexibility of semantic data models and ensuring that the efficiency of objectoriented implementations in terms of storage structures and object management can be obtained.
Asso: a formal database design methodology
Castelli D;Locuratolo E
1994
Abstract
The main aspects of ASSO, a formal database design methodology, are introduced. ASSO integrates typical database features within the B-Method, a formal method from the software engineering area. As a result, ASSO guarantees design correctness while enabling the application requirements to be specified with the flexibility of semantic data models and ensuring that the efficiency of objectoriented implementations in terms of storage structures and object management can be obtained.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_246616-doc_64963.pdf
solo utenti autorizzati
Descrizione: Asso: a formal database design methodology
Tipologia:
Versione Editoriale (PDF)
Dimensione
1.95 MB
Formato
Adobe PDF
|
1.95 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
