Contributo in volume, 2009, ENG, 10.4018/978-1-60566-058-5.ch028

Database design based on B

Locuratolo E.

CNR-ISTI, Pisa, Italy

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.

Keywords

H.1 Models and Principles, H.2 Database Management, F.4 Mathematical Logic and Formal Languages, Database design

CNR authors

Locuratolo Elvira Immacolata

CNR institutes

ISTI – Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo"

ID: 139043

Year: 2009

Type: Contributo in volume

Last update: 2018-01-11 14:29:05.000

External IDs

CNR OAI-PMH: oai:it.cnr:prodotti:139043

DOI: 10.4018/978-1-60566-058-5.ch028