Meta-modeling to design the structured database schema
Locuratolo E.
H.1 Models and principles H.2 Database management F.4 Mathematical logic and formal languages Conceptual Modeling Meta-Modeling Database Design Formal Methods
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
Source: ISTI Technical reports, 2005
Back to previous page
@techreport{oai:it.cnr:prodotti:160267,
title = {Meta-modeling to design the structured database schema},
author = {Locuratolo E.},
institution = {ISTI Technical reports, 2005},
year = {2005}
}
0000-0002-0523-7512