Database design based on B
Locuratolo E.
H.2 Database Management F.4 Mathematical Logic and Formal Languages Database design H.1 Models and Principles
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.
Source: Database Technologies: concepts, methodologies, tools and applications, edited by John Erickson, pp. 440–456, 2009
Metrics
Back to previous page
@inbook{oai:it.cnr:prodotti:139043,
title = {Database design based on B},
author = {Locuratolo E.},
doi = {10.4018/978-1-60566-058-5.ch028 and 10.4018/978-1-59140-684-6.ch002},
booktitle = {Database Technologies: concepts, methodologies, tools and applications, edited by John Erickson, pp. 440–456, 2009},
year = {2009}
}
0000-0002-0523-7512