基于图的主动数据库规则集终止性分析.pdfVIP

第10卷第1期 哈尔滨理工大学学报 V01．10No．1 UNIV．SCI．TECH．Feb．．2005 2005年2月 JOURNALHARBIN 基于图的主动数据库规则集终止性分析 任 超，李 玮， 何红红， 原湘华 (空军第七研究所，北京100085) 摘要：主动数据库中规则集的行为很难预测，用触发图可以判断规则集是否保证终止，为了精 确判定规则集的终止性必须找出触发图中的全部环路．在00模式下对主动规则集的可终止性进行 深入分析，得出了判定规则集终止性的方法，给出了计算触发图中全部环路和判定规则集是否保证 终止的算法． 关键词：主动数据库；ECA规则；可终止性；环路 中图分类号：11P311．13文献标识码：A TerminatiOntoRuIesinActiVeDatabase AnaIysis