A Study on Termination Analysis for Rule Compiler
Byeong-Geuk Gang, Jeong-Hui Hwang, Ye-Ho Sin, Geun-Ho Ryu · The KIPS Transactions PartD · 2001
In the active databases, whenever an event occurs, active rules with the matching event specifications are triggered automatically, its action will be executed. Because these rules may in turn trigger other rules including themselves, the set of rules may be executing each other indefinitely. These problem can be solved by rule termination analysis, and it is efficient for the rule termination to execute in compile time of rule. In this paper we not only design rule compiler with rule termination analyzer, but also propose its execution model and algorithm. The completeness of proposed model is verified by algorithm formalization of rule termination analysis.