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 object-oriented implementations in terms of storage structures and object management can be obtained.
Asso : a formal database design methodology
Castelli D;Locuratolo E
1995
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 object-oriented implementations in terms of storage structures and object management can be obtained.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_241893-doc_63156.pdf
solo utenti autorizzati
Descrizione: Asso: a formal database design methodology
Tipologia:
Versione Editoriale (PDF)
Dimensione
2.01 MB
Formato
Adobe PDF
|
2.01 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.
