Database Design Based on B

Database Design Based on B

Elvira Locuratolo (ISTI, Consiglio Nazionale delle Ricerche, Italy)
DOI: 10.4018/978-1-59140-684-6.ch002
OnDemand PDF Download:
$37.50

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.

Complete Chapter List

Search this Book:
Reset
Table of Contents
Acknowledgments
Zongmin Ma
Chapter 1
Z. M. Ma
Information systems have become the nerve center of current computer-based engineering applications, which hereby put the requirements on... Sample PDF
Databases Modeling of Engineering Information
$37.50
Chapter 2
Elvira Locuratolo
This chapter is devoted to the integration of the ASSO features in B. ASSO is a database design methodology defined for achieving conceptual schema... Sample PDF
Database Design Based on B
$37.50
Chapter 3
T. W. Carnduff, J. S. Goonetillake
This chapter presents research aimed at determining the requirements of a database software tool that supports integrity validation of... Sample PDF
The Management of Evolving Engineering Design Constraints
$37.50
Chapter 4
Hans-Peter Kriegel, Peer Kröger, Martin Pfeifle, Stefan Brecheisen, Marco Pötke, Matthias Schubert, Thomas Seidl
Similarity search in database systems is becoming an increasingly important task in modern application domains such as multimedia, molecular... Sample PDF
Similarity Search for Voxelized CAD Objects
$37.50
Chapter 5
Xun W. Xu
This chapter addresses the issue of product development chain from the perspective of data modeling and streamlining. The focus is on an emerging... Sample PDF
STEP-NC to Complete Product Development Chain
$37.50
Chapter 6
Jun Yuan
Decision support systems or mission control systems for network-centric operations typically need input from multiple heterogeneous information... Sample PDF
Semantic-Based Dynamic Enterprise Information Integration
$37.50
Chapter 7
Yannis Panagis, Evangelos Sakkopoulos, Spyros Sioutas, Athanasios Tsakalidis
This chapter presents the Web Service architecture and proposes Web Service integration and management strategies for large-scale datasets. The main... Sample PDF
Web Service Integration and Management Strategies for Large-Scale Datasets
$37.50
Chapter 8
Indranil Bose, Lam A.K. Chun, Leung V.W. Yue, Li H.W. Ines, Wong O.L. Helen
The retailing giant Wal-Mart owes its success to the efficient use of information technology in its operations. One of the noteworthy advances made... Sample PDF
Business Data Warehouse: The Case of Wal-Mart
$37.50
Chapter 9
Chia-Hung Wei, Chang-Tsun Li, Roland Wilson
Content-based image retrieval (CBIR) makes use of image features, such as color and texture, to index images with minimal human intervention.... Sample PDF
A Content-Based Approach to Medical Image Database Retrieval
$37.50
Chapter 10
Sriram Mohan, Arijit Sengupta
The process of conceptual design is independent of the final platform and the medium of implementation, and is usually in a form that is... Sample PDF
Conceptual Modeling for XML: A Myth or a Reality
$37.50
Chapter 11
Franck Ravat, Olivier Teste, Gilles Zurfluh
This chapter deals with constraint-based multi-dimensional modelling. The model we define integrates a constellation of facts and dimensions. Along... Sample PDF
Constraint-Based Multi-Dimensional Databases
$37.50
About the Authors