PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Locuratolo E. I. Meta-modeling to design the structured database schema. vol. 1 Capitolo 11 Keng Siau, Roger H.L. Chiang, Bill C. Hardgrave (eds.). (Advances in Management Information Systems, vol. 18). United States of America: ME.Sharpe, 2011.
 
 
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.
URL: http://www.mesharpe.com/mall/resultsa.asp?Title=Systems+Analysis+and+Design:+People,+Processes,+and+Projects
Subject Meta-Modeling
Model Evolution
Quality Modeling
H.1 Models and Principles
H.2 Database Management
I.5.2 Design Methodologies
F.4 Mathematical Logic and Formal Languages
68U35 Information Systems


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