"Temporal" Integrity Constraints in Temporal Databases

In this paper we consider a class of integrity constraints which describe admissible lifecycles of database objects, and which can be specified by transition graphs. We present an algorithmic scheme for monitoring such constraints in temporal databases which efficiently support the concept of valid-time. The keys to efficient monitoring lie in storing lifecycle situations with respect to constraints, in utilizing the property of graphs being iteration-invariant, and in using basic operations of temporal databases to determine validity intervals. In particular, we give hints how to extend monitoring to transactions that involve retroactive and proactive modifications. 1 Introduction Specifying and monitoring integrity constraints is essential for every kind of database application system in order to ensure its correctness and reliability. This applies to temporal databases as it has applied to conventional (nontemporal) databases. In conventional databases, integrity constraints are pa..