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 Modeling for Industrial Data Management: Emerging Technologies and Applications, pp. 35–61. Hershley [PA]: Idea Group Publishing, 2006
Publisher: Idea Group Publishing, Hershley [PA], USA
Metrics
Back to previous page
@inbook{oai:it.cnr:prodotti:138963,
title = {Database Design Based on B},
author = {Locuratolo E.},
publisher = {Idea Group Publishing, Hershley [PA], USA},
doi = {10.4018/978-1-59140-684-6.ch002 and 10.4018/978-1-60566-058-5.ch028},
booktitle = {Database Modeling for Industrial Data Management: Emerging Technologies and Applications, pp. 35–61. Hershley [PA]: Idea Group Publishing, 2006},
year = {2006}
}
0000-0002-0523-7512