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

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

支持主动规则机制已经成为现代数据库系统的一个重要特征.主动规则集的可终止性判定是主动数据库中核心问题之一,利用触发图和活化图的方法来判定可终止性都存在一定的局限性.为此,根据规则与其活化路径的同步关系,介绍了一个新的判定主动规则集可终止性的方法.分析的结果表明文中提出的方法较现有方法可以发现更多的可终止性情形,最后给出了相应的算法及其可终止性、正确性证明。

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.