Database design based on B (Contributo in volume (capitolo o saggio))

Type
Label
  • Database design based on B (Contributo in volume (capitolo o saggio)) (literal)
Anno
  • 2009-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.4018/978-1-60566-058-5.ch028 (literal)
Alternative label
  • Locuratolo E. (2009)
    Database design based on B
    in Database Technologies: concepts, methodologies, tools and applications, 2009
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Locuratolo E. (literal)
Pagina inizio
  • 440 (literal)
Pagina fine
  • 456 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • Originally published in: Database Modeling for Industrial Data Management from page 35 to page 61- Idea Group Publishing (2006). I can't attach the PDF of the published chapter as I have not the series. The attached file is my copy of the publication. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#citta
  • US (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://www.igi-global.com/chapter/database-design-based/7925 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Database Technologies: concepts, methodologies, tools and applications (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: Database Technologies: concepts, methodologies, tools and applications. pp. 440 - 456. John Erickson (ed.). US: Hershey, PA : Information Science Reference, 2009. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 17 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • This chapter is devoted to the integration of the ASSO features in B. ASSO is a database design methodology defined for achieving conceptual schema consistency, logical schema correctness, flexibility in reflecting the real life changes on the schema and efficiency in accessing and storing information. B is an industrial formal method for specifying, designing, and coding software systems. Starting from a B specification of the data structures and of the transactions allowed on a database, two model transformations are designed: the resulting model, called Structured Database Schema, integrates static and dynamics exploiting the novel concepts of Class-Machine and Specialized Class-Machine. Formal details which must be specified if the conceptual model of ASSO is directly constructed in B are avoided; the costs of the consistency obligations are minimized. Class Machines supported by semantic data models can be correctly linked with Class-Machines supported by object Models. (literal)
Note
  • PuMa (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa (literal)
Titolo
  • Database design based on B (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#inCollana
  • Database Technologies: concepts, methodologies, tools and applications (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 9781605660585 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume
  • John Erickson (literal)
Abstract
  • This chapter is devoted to the integration of the ASSO features in B. ASSO is a database design methodology defined for achieving conceptual schema consistency, logical schema correctness, flexibility in reflecting the real life changes on the schema and efficiency in accessing and storing information. B is an industrial formal method for specifying, designing, and coding software systems. Starting from a B specification of the data structures and of the transactions allowed on a database, two model transformations are designed: the resulting model, called Structured Database Schema, integrates static and dynamics exploiting the novel concepts of Class-Machine and Specialized Class-Machine. Formal details which must be specified if the conceptual model of ASSO is directly constructed in B are avoided; the costs of the consistency obligations are minimized. Class Machines supported by semantic data models can be correctly linked with Class-Machines supported by object Models. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


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