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 specification
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:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
