摘要
支持主动规则机制已经成为现代数据库系统的一个重要特征.主动规则集的可终止性判定是主动数据库中核心问题之一,利用触发图和活化图的方法来判定可终止性都存在一定的局限性.为此,根据规则与其活化路径的同步关系,介绍了一个新的判定主动规则集可终止性的方法.分析的结果表明文中提出的方法较现有方法可以发现更多的可终止性情形,最后给出了相应的算法及其可终止性、正确性证明。
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.
出处
《哈尔滨工程大学学报》
EI
CAS
CSCD
北大核心
2006年第4期546-550,共5页
Journal of Harbin Engineering University
基金
黑龙江省自然科学基金资助项目(F00-06)
关键词
主动数据库
规则分析
活化路径
同步关系
可终止性
active database
rule analysis
activation path
synchronous relationship
termination decision
