We introduce a new method for rule termination analysis within active databases. This method analyzes interaction between transactions and triggers, by means of Evolution Graphs introduced in . In this paper triggers information and transaction updates are considered in order to study rules termination and simulate execution. First we present the algorithm for testing rule termination and then we 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 rules languages and thus it may be applied to many database systems.
|Number of pages||10|
|Publication status||Published - Jul 2002|
|Event||International Database Engineering and Applications Symposium - |
Duration: 1 Jul 2002 → …
|Conference||International Database Engineering and Applications Symposium|
|Period||1/07/02 → …|