Meta-modeling to design the structured database schema (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)

Type
Label
  • Meta-modeling to design the structured database schema (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (literal)
Anno
  • 2005-01-01T00:00:00+01:00 (literal)
Alternative label
  • Locuratolo E. (2005)
    Meta-modeling to design the structured database schema
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Locuratolo E. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • The paper has been submitted to: Volume chapters Information Systems Analysis and Design: Foundations, Methods, and Practices. To be published in Advances in Management Information Systems (AMIS) Monograph, Technical Report 2005 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • Technical report, 2005. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • ABSTRACT: 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. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Istituto di Scienza e Tecnologie Dell'Informazione \"A. Faedo\" CNR via Giuseppe Moruzzi, 1 56124 Pisa, Italy (literal)
Titolo
  • Meta-modeling to design the structured database schema (literal)
Abstract
  • 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 (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Insieme di parole chiave di
data.CNR.it