A formal meta-model, exploited to define the conceptual model of a database design method named "ASSO," is proposed. The approach integrates features from methodologies of conceptual database design with the formal method B. Starting from a conceptual model based on the notions of class and is-a relationship, two gradual model extensions are considered: the former defines the basic operations, whereas the latter defines the ASSO model, called "Structured Database Schema". The Structured Database Schema permits large conceptual schemas to be specified in terms of class and specialized class and large consistency proofs to be reduced to small consistency proofs. The Structured Database Schema "goodness" is guaranteed by proposing model extensions compatible with the previous models. Both a "qualitative measure" of information implicitly specified within the Structured Database Schema and a "qualitative evaluation" of the consistency costs are provided.
Meta-Modeling To Design The Structured Database Schema
Locuratolo E
2010
Abstract
A formal meta-model, exploited to define the conceptual model of a database design method named "ASSO," is proposed. The approach integrates features from methodologies of conceptual database design with the formal method B. Starting from a conceptual model based on the notions of class and is-a relationship, two gradual model extensions are considered: the former defines the basic operations, whereas the latter defines the ASSO model, called "Structured Database Schema". The Structured Database Schema permits large conceptual schemas to be specified in terms of class and specialized class and large consistency proofs to be reduced to small consistency proofs. The Structured Database Schema "goodness" is guaranteed by proposing model extensions compatible with the previous models. Both a "qualitative measure" of information implicitly specified within the Structured Database Schema and a "qualitative evaluation" of the consistency costs are provided.File | Dimensione | Formato | |
---|---|---|---|
prod_182744-doc_37687.pdf
non disponibili
Descrizione: Capitolo Pubblicato
Tipologia:
Versione Editoriale (PDF)
Dimensione
8.08 MB
Formato
Adobe PDF
|
8.08 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
prod_182744-doc_28198.pdf
non disponibili
Descrizione: scheda bibliografica 1
Tipologia:
Versione Editoriale (PDF)
Dimensione
75.27 kB
Formato
Adobe PDF
|
75.27 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
prod_182744-doc_37798.pdf
non disponibili
Descrizione: versione elettronica
Tipologia:
Versione Editoriale (PDF)
Dimensione
965.32 kB
Formato
Adobe PDF
|
965.32 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
prod_182744-doc_28199.pdf
non disponibili
Descrizione: scheda bibliografica 2
Tipologia:
Versione Editoriale (PDF)
Dimensione
100.81 kB
Formato
Adobe PDF
|
100.81 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.