PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Locuratolo E. Database design based on B. vol. 1 Zongmin Ma (ed.). United States of America: Idea Group Publishing(Idea Group Inc.), 2006.
 
 
Abstract
(English)
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.
URL: http://www.idea-group.com/books/details.asp?id=5411
Subject Database design
H.1 Models and Principles
H.2 Database Management
F.4 Mathematical Logic and Formal Languages


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