A Termination Analyzer Including Execution Semantics of Active Rules

KIPS Transactions on Software and Data Engineering, Vol. 8, No. 5, pp. 513-522, May. 2001
10.3745/KIPSTD.2001.8.5.513, Full Text:


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.

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 and K. H. Ryu, "A Termination Analyzer Including Execution Semantics of Active Rules," KIPS Journal D (2001 ~ 2012) , 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. KIPS Journal D (2001 ~ 2012) , 8, 5, (2001), 513-522. DOI: 10.3745/KIPSTD.2001.8.5.513.