Refined rules termination analysis through transactions
Information Systems
The scheme design for active information system
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Hi-index | 0.00 |
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 [16]. 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.