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