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.
Publisher: Idea Group Publishing
Metrics
Back to previous page
@inbook{oai:it.cnr:prodotti:138963,
title = {Database Design Based on B},
author = {Locuratolo E},
publisher = {Idea Group Publishing},
doi = {10.4018/978-1-59140-684-6.ch002 and 10.4018/978-1-60566-058-5.ch028},
year = {2006}
}
0000-0002-0523-7512