%0 Journal Article
%T Relationship Graph and Termination Analysis for Active Rule Set<br>关联图与主动规则集的终止性分析
%A ZUO Wan-li
%A LIU Ju-hong
%A LIU Shu-fen
%A <br>左万利
%A 刘居红
%A 刘淑芬
%J 软件学报
%D 2001
%I 
%X 终止性反映了主动数据库系统良好的行为特性.目前有关主动规则集终止性分析的主要依据是触发图和活化图,其分析结果是保守的.为表达一个规则的动作可能使另一规则的条件为假的事实,引入了惰化图(deactivationgraph),并与触发图和活化图相结合，定义了更为一般的关联图(relationshipgraph).同时，给出了基于关联图的主动规则集终止性静态分析算法,提高了终止性判定的准确性.
%K active database
%K ECA-rule
%K termination
%K static analysis
%K relationship graph
%K deactivation graph<br>主动数据库
%K ECA-规则
%K 终止性
%K 静态分析
%K 关联图
%K 惰化图
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=1CB0476990E0131A&yid=14E7EF987E4155E6&vid=59906B3B2830C2C5&iid=0B39A22176CE99FB&sid=44A4891E33BFF455&eid=4133DDB79B497495&journal_id=1000-9825&journal_name=软件学报&referenced_num=10&reference_num=5