Welcome to the InfoSci Platform
Database Design Based on B

Database Design Based on B

Elvira Locuratolo
Copyright: © 2006 |Pages: 27
ISBN13: 9781591406846|ISBN10: 1591406846|ISBN13 Softcover: 9781591406853|EISBN13: 9781591406860
DOI: 10.4018/978-1-59140-684-6.ch002
Cite Chapter Cite Chapter

MLA

Locuratolo, Elvira. "Database Design Based on B." Database Modeling for Industrial Data Management: Emerging Technologies and Applications, edited by Zongmin Ma, IGI Global, 2006, pp. 35-61. https://doi.org/10.4018/978-1-59140-684-6.ch002

APA

Locuratolo, E. (2006). Database Design Based on B. In Z. Ma (Ed.), Database Modeling for Industrial Data Management: Emerging Technologies and Applications (pp. 35-61). IGI Global. https://doi.org/10.4018/978-1-59140-684-6.ch002

Chicago

Locuratolo, Elvira. "Database Design Based on B." In Database Modeling for Industrial Data Management: Emerging Technologies and Applications, edited by Zongmin Ma, 35-61. Hershey, PA: IGI Global, 2006. https://doi.org/10.4018/978-1-59140-684-6.ch002

Export Reference

Mendeley
Favorite

Abstract

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.