基于活化路径同步关系的规则集可终止性判定  

Termination decision for a rule set based on the synchronous relationship between a rule and its activation path

作　　者：熊中敏[1] 郝忠孝[1] 

机构地区：[1]哈尔滨理工大学计算机与控制学院,黑龙江哈尔滨150080

出　　处：《哈尔滨工程大学学报》2006年第4期546-550,共5页Journal of Harbin Engineering University

基　　金：黑龙江省自然科学基金资助项目(F00-06)

摘　　要：支持主动规则机制已经成为现代数据库系统的一个重要特征.主动规则集的可终止性判定是主动数据库中核心问题之一,利用触发图和活化图的方法来判定可终止性都存在一定的局限性.为此,根据规则与其活化路径的同步关系,介绍了一个新的判定主动规则集可终止性的方法.分析的结果表明文中提出的方法较现有方法可以发现更多的可终止性情形,最后给出了相应的算法及其可终止性、正确性证明。Active rules support has become an important characteristic of modern database systems. Active rules termination is an important problem in active databases, proving termination by using triggering and activation graphs is a conservative approach. A synchronous relationship between a rule and its activation path is proposed, and a novel approach to determine the termination of active rules set is presented. Analytical results prove that the proposed approach can detect more termination situations than existing works. Moreover, an algorithm for a termination decision is given and its effectiveness is proved.

关 键 词：主动数据库 规则分析 活化路径 同步关系 可终止性 

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