An Amendment to the Termination Analysis Algorithm for Active Rule Execution
Zuo Wan · 2000
This paper points out the mistakes of the current termination analysis algorithms for active rule set based on triggering and activation graphs, proposes triggering reachability and triggering reaching set, on the basis of which an amendment to the original algorithm is given.