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

Termination Analysis to Rules in Active Database Using Graph

作　　者：任超 李玮 何红红 原湘华 

机构地区：[1]空军第七研究所,北京100085

出　　处：《哈尔滨理工大学学报》2005年第1期83-87,共5页Journal of Harbin University of Science and Technology

摘　　要：主动数据库中规则集的行为很难预测,用触发图可以判断规则集是否保证终止,为了精 确判定规则集的终止性必须找出触发图中的全部环路.在OO模式下对主动规则集的可终止性进行 深入分析,得出了判定规则集终止性的方法,给出了计算触发图中全部环路和判定规则集是否保证 终止的算法.It is very difficult to predict the behavior of rules set in active database. The termination of rules set can be analyzed by triggering graph (TG). It is necessary to calculate all cycles in TG to judge exactly the termination of rules set. This paper analyzes the termination of active rules set in Object - Oriented Database, produces the method of judging the termination of rules set, deduces the algorithm of calculating all cycles of triggering graph and the algorithm of judging termination of rules set.

关 键 词：主动数据库 ECA规则 可终止性 环路 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]