A Termination Analyzer Including Execution Semantics of Active Rules


The KIPS Transactions:PartD, Vol. 8, No. 5, pp. 513-522, Oct. 2001
10.3745/KIPSTD.2001.8.5.513,   PDF Download:

Abstract

Active databases execute an action of active rule defined in advance which is triggered automatically, whenever an event with the matching event specifications occurs, its condition is evaluated. Because these rules may in turn trigger other rules, the set of rules may be triggered each other indefinitely. Therefore, we propose a termination analysis method to guarantee termination. This proposed method considers composite event as well as rule execution time. Above all, the method not only uses deactivation graph combined to trigger graph for exact analysis, but also improves the complexity of analysis. Also the proposed method enhances accuracy of analysis result.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
Y. H. Shin, J. H. Hwang, K. H. Ryu, "A Termination Analyzer Including Execution Semantics of Active Rules," The KIPS Transactions:PartD, vol. 8, no. 5, pp. 513-522, 2001. DOI: 10.3745/KIPSTD.2001.8.5.513.

[ACM Style]
Ye Ho Shin, Jeong Hee Hwang, and Keun Ho Ryu. 2001. A Termination Analyzer Including Execution Semantics of Active Rules. The KIPS Transactions:PartD, 8, 5, (2001), 513-522. DOI: 10.3745/KIPSTD.2001.8.5.513.