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

摘要：

主动数据库中规则集的行为很难预测,用触发图可以判断规则集是否保证终止,为了精确判定规则集的终止性必须找出触发图中的全部环路.在OO模式下对主动规则集的可终止性进行深入分析,得出了判定规则集终止性的方法,给出了计算触发图中全部环路和判定规则集是否保证终止的算法.

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

所属期刊栏目：10

分类号：TP311.13(计算技术、计算机技术)

在线出版日期：2005-04-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：83-87