Termination decision for a rule set based on the synchronous relationship between a rule and its activation path
Xiong Zhong-min · Harbin Gongcheng Daxue Xuebao/Journal of Harbin Engineering University · 2006
Active rules support has become an important characteristic of modern database systems.Active rules termination is an important problem in active databases,proving termination by using triggering and activation graphs is a conservative approach.A synchronous relationship between a rule and its activation path is proposed,and a novel approach to determine the termination of active rules set is presented.Analytical results prove that the proposed approach can detect more termination situations than existing works.Moreover,an algorithm for a termination decision is given and its effectiveness is proved.