PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Locuratolo E. Meta-Modeling to design the Structured Database Schema. The document has been submitted to other: Volume Chapters Information Systems Analysis and Design: Foundations, Methods, and Practices To be published in Advances in Management Information Systems (AMIS) MonographSeries, Technical report, 2005.
 
 
Abstract
(English)
Abstract: ASSO is a formal methodology of database design which defines the Structured Database Schema model. This model permits large conceptual schemas to be specified in terms of classes and specialized classes and large consistency proofs to be reduced to small consistency proofs. In this chapter, a Meta-Modeling approach for the Structured Database Schema, which integrates features from methodologies of conceptual database design with the formal method B, is proposed. It starts from a conceptual model based on the notions of class and is-a relationship and proceeds with two gradual extensions of models: the former defines the basic operations, whereas the latter defines the Structured Database Schema. This Meta-Modeling approach guarantees the Structured Database Schema goodness by proposing extensions of models compatible with the previous models. Both a "qualitative measure" of the information implicitly specified within the Structured Database Schema and a qualitative evaluation of the consistency cost are provided.
Subject Conceptual Modeling
Meta-Modeling
Database Design
Formal Methods
H.1 MODELS AND PRINCIPLES
H.2 DATABASE MANAGEMENT
F.4 MATHEMATICAL


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