The paper presents a formal notation for the specification of database conceptual schemas, the Database Schema Notation, which integrates formal methods and conceptual modelling so as to maintain the advantages of both and to reduce considerably the complexity of the specifications and the proofs.
A formal notation for database conceptual schema specifications
Castelli D;Locuratolo E
1993
Abstract
The paper presents a formal notation for the specification of database conceptual schemas, the Database Schema Notation, which integrates formal methods and conceptual modelling so as to maintain the advantages of both and to reduce considerably the complexity of the specifications and the proofs.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_412841-doc_145340.pdf
solo utenti autorizzati
Descrizione: A formal notation for database conceptual schema specifications
Tipologia:
Versione Editoriale (PDF)
Dimensione
3.35 MB
Formato
Adobe PDF
|
3.35 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.
