| 基于图的主动数据库规则集终止性分析 |
| |
| 引用本文： | 任超,李玮,何红红,原湘华.基于图的主动数据库规则集终止性分析[J].哈尔滨理工大学学报,2005,10(1):83-87. |
| |
| 作者姓名： | 任超 李玮 何红红 原湘华 |
| |
| 作者单位： | 空军第七研究所,北京,100085 |
| |
| 摘 要： | 主动数据库中规则集的行为很难预测，用触发图可以判断规则集是否保证终止，为了精确判定规则集的终止性必须找出触发图中的全部环路．在OO模式下对主动规则集的可终止性进行深入分析，得出了判定规则集终止性的方法，给出了计算触发图中全部环路和判定规则集是否保证终止的算法．
|
| 关 键 词： | 主动数据库 ECA规则 可终止性 环路 |
| 文章编号： | 1007-2683(2005)01-0083-05 |
| 修稿时间： | 2004年6月30日 |
Termination Analysis to Rules in Active Database Using Graph |
| |
| Ren chao,LI Wei,HE Hong-hong,YUAN Xiang-hua.Termination Analysis to Rules in Active Database Using Graph[J].Journal of Harbin University of Science and Technology,2005,10(1):83-87. |
| |
| Authors: | Ren chao LI Wei HE Hong-hong YUAN Xiang-hua |
| |
| Abstract: | 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. |
| |
| Keywords: | active database ECA rules termination cycle |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
