An improved method for rule termination analysis research
Yongfu Teng · Journal of Qiqihar University · 2007
We propse a improved method called REG for rule termination analysis,the method which takes advantage of information within a transaction relies on evolution graphs simulating rule processing statically and considering both rule activation and deactivation.Using transaction,the new method provide a more specific and precise analysis than the evolution graph method,then we show the REG algorithm testing rules termination and verify its correctness.