The paper focuses on an approach to the definition of a specification notation to be used within a formal database design methodology. This notation, called Database Schema Notation, has been obtained by specializing a formal notation used within the software engineering area, the Abstract Machine Notation, in order to represent the aspects which are typical of database applications.

An approach to the definition of a formal conceptual database language

Castelli D;Locuratolo E
1993

Abstract

The paper focuses on an approach to the definition of a specification notation to be used within a formal database design methodology. This notation, called Database Schema Notation, has been obtained by specializing a formal notation used within the software engineering area, the Abstract Machine Notation, in order to represent the aspects which are typical of database applications.
1993
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Databases
Databa
Information storage and retrieval
File in questo prodotto:
File Dimensione Formato  
prod_411835-doc_144999.pdf

solo utenti autorizzati

Descrizione: An approach to the definition of a formal conceptual database language
Dimensione 1.97 MB
Formato Adobe PDF
1.97 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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/363112
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact