Termination analysis in active databases

Introduces a method for rule termination analysis within active databases which relies on evolution graphs simulating rule processing statically, and considering both rule activation and deactivation. The evolution graph provides a more detailed analysis than traditional graph-based approaches. We show that several termination analysis methods are captured by evolution graphs. The algorithm for testing rule termination is presented and its correctness shown. The proposed approach turns out to be practical and general with respect to the various rule languages, and thus it may be applied to several database systems.