Stepwise specification of dynamic database behaviour
- 15 June 1986
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGMOD Record
- Vol. 15 (2) , 387-397
- https://doi.org/10.1145/16856.16892
Abstract
This paper presents a methodology for the stepwise specification of dynamic database behaviour. A conceptual schema is described in three levels: data, objects and transactions. To determine which sequences of database states are “admissible”, integrity constraints on objects are given in temporal logic. Transactions are specified by pre/postconditions to produce “executable” state sequences. In order to guarantee that executable state sequences already become admissible, integrity constraints are completely transformed into additional pre/postconditions. We introduce general rules for these transformations. Thus, schema specifications can be refined and simplified systematically.Keywords
This publication has 4 references indexed in Scilit:
- On verification of database temporal constraintsACM SIGMOD Record, 1985
- Towards multi-level and modular conceptual schema specificationsInformation Systems, 1984
- Formal data base specificationPublished by Association for Computing Machinery (ACM) ,1984
- An informal approach to formal specificationsACM SIGMOD Record, 1983