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
  • 2006-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.4018/978-1-59140-684-6.ch002 (literal)
Alternative label
  • Locuratolo E. (2006)
    Database Design Based on B
    Idea Group Publishing, Hershley [PA] (Stati Uniti d'America) in Database Modeling for Industrial Data Management: Emerging Technologies and Applications, 2006
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Locuratolo E. (literal)
Pagina inizio
  • 35 (literal)
Pagina fine
  • 61 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#citta
  • United States of America (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://www.igi-global.com/chapter/database-design-based/7888 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Database Modeling for Industrial Data Management: Emerging Technologies and Applications (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: Database Modeling for Industrial Data Management. vol. 1 pp. 35-61. Zongmin Ma (ed.). Idea Group Publishing(Idea Group Inc.), 2006. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 27 (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 Modeling for Industrial Data Management (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 9781591406846 (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)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


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