PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Locuratolo E. Meta-modeling to design the Structured Database Schema. Preprint, 2006.
 
 
Abstract
(English)
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.
Subject Meta-Modeling
H.1 Models and Principles
H.2 Database Management
F.4 Mathematical Logic and Formal Languages


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