不可归约规则集相关论文
主动数据库中规则集的可终止性判定是一个重要问题，已经成为一个研究热点．有些研究工作提出了在编译阶段运用触发图和活化图的方法解......
ECA规则终止性问题是主动数据库中一个关键问题，首先分析触发边、活化边、惰化边三种边的触发时序关系；然后构造条件断言函数来描述......
