%0 Journal Article
%T 含有非独立型触发环的主动规则集归约算法研究
%J 计算机科学
%D 2006
%X 可终止性判定问题是主动数据库的一个核心问题。现有的研究工作提出了运用触发图和活化图的方法解决这个问题，其中的一个关键技术就是利用归约算法对主动规则集进行归约。已有的计算方法对一些可归约规则无法识别。本文提出了独立型触发环、非独立型触发环、活化路径、禁止活化环、禁止活化规则等概念。基于这些概念，提出了一个新的归约算法，从而可识别出更多的可归约规则。
%K 主动数据库非独立型触发环活化路径归约算法
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=22086588&flag=1