A formal notation for database conceptual schema specification

Contributo in Atti di convegno
Data di Pubblicazione:
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.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Data base conceptual modelling
Elenco autori:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/16703
Titolo del libro:
3rd European-Japanese Seminar on Information Modelling and Knowledge Bases V: principles and formal techniques