A formal notation for database conceptual schema specification

Conference Paper
Publication Date:
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.
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
Data base conceptual modelling
List of contributors:
Handle:
https://iris.cnr.it/handle/20.500.14243/16703
Book title:
3rd European-Japanese Seminar on Information Modelling and Knowledge Bases V: principles and formal techniques