Incremental Database Design using UML-B and Event-B

Ahmed Al-Brashdi, Michael Butler, Abdolbaghi Rezazadeh

Correct operation of many critical systems is dependent on the data consistency and integrity properties of underlying databases. Therefore, a verifiable and rigorous database desi…