temporal conditions and integrity constraints in active database systems
In this paper, we present a unified formalism, based on Past Temporal Logic, for specifying conditions and events in the rules for active database system. This language permits specification of many time varying properties of database systems. It also permits specification of temporal aggregates. We present an efficient incremental algorithm for detecting conditions specified in this language. The given algorithm, for a subclass of the logic, was implemented on top of Sybase.
temporal integrity constraint activation database system database systems paper formalism logic event rules language timing aggregate efficiency incremental algorithm