Istituto di Scienza e Tecnologie dell'Informazione     
Castelli D., Locuratolo E. A formal notation for database conceptual schema specifications. In: 3rd European-Japanese Seminar on Information Modelling and Knowledge Bases V: principles and formal techniques (Budapest, Hungary, May 31 - June 3 1993). Proceedings, pp. 257 - 276. H. Jaakkola (ed.). IOS Press, 1993.
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.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional