Rule termination analysis investigating the interaction between transactions and triggers

We introduce a new method for rule termination analysis within active databases. This method analyzes the interaction between transactions and triggers, by means of evolution graphs. In this paper trigger information and transaction updates are considered in order to study rule termination and simulate execution. First we present the algorithm for testing rule termination and then show that several termination analysis methods are captured by our method. The proposed approach turns out to be practical and general with respect to various rule languages and thus may be applied to many database systems.