主动数据库的规则终止性分析

提出一种基于进化图的规则终止性静态分析的方法,全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确,之后提出了规则终止性分析算法并证明了其正确性。

一种改进的规则终止性分析方法的研究

提出一种新的规则终止性静态分析方法REG,它在全面考虑触发图、活化图和惰化图的基础上引入事务的思想。对于规则的终止性分析,采用REG方法比基于进化图的分析方法更具体、精确,接着给出了REG的算法并证明其正确性。

主动信息系统中终止性规则的研究

研究主动信息系统中主动规则及实现技术。介绍主动信息系统体系结构及ECA规则,基于ECA规则分析规则集行为的三个特性,给出终止性规则的触发图、活化图、惰化图分析方法。