ON TEMPORAL ASPECT OF DATABASE SPECIFICATIONS
摘要
In recent years, the temporal aspect of databases has received increasing attention. This paper addresses the importance of verifying a database specification from the viewpoint of software engineering. A temporal language for database specification is described. A database specification consists of static and temporal constraints and a set of operation descriptions. A database is viewed as a dynamic object. Its evolution is established by sequences of operations. A formal method for verifying database specifications is also described. This method checks up whether the static constraints are consistent, whether the implementation of each operation description is applicable to, and will lead to legal database states without undesirable side effect, and whether each permissible sequence of operations satisfies all the temporal constraints.