%0 Journal Article
%T 计算主动数据库中不可归约规则集的有效算法
%A 熊中敏
%A 郝忠孝
%J -
%D 2006
%X 主动数据库中规则集的可终止性判定是一个重要问题，已经成为一个..
%K [主动数据库
%K 规则分析
%K 活化路径
%K 禁止活化环
%K 不可归约规则集
%K active database
%K rule analysis
%K activation path
%K inhibited activation cycle
%K irreducible rule set]
%U http://crad.ict.ac.cn/CN/Y2006/V43/I2/281