惰化图相关论文
终止性反映了主动数据库系统良好的行为特性.目前有关主动规则集终止性分析的主要依据是触发图和活化图,其分析结果是保守的.为表......
提出一种基于进化图的规则终止性静态分析的方法,全面考虑了触发图、活化图和惰化图.这种基于进化图的分析方法比传统基于图的分析......
