基于活化路径和条件公式的主动规则集可终止性判定方法

摘要：

支持主动规则机制已经成为现代数据库系统的一个重要特征.主动规则集的可终止性判定是主动数据库中一个核心问题之一,利用触发图和活化图的方法来判定可终止性都存在不同的保守性.为此,提出了为有效活化路径建立条件公式的思想,在此基础上给出了一个新的判定主动规则集可终止性的方法.分析的结果表明,提出的方法较现有方法可以发现更多的可终止性情形,最后给出了相应的算法及其可终止性、正确性证明.

关键词：主动数据库、规则分析、活化路径、条件公式、可终止性

所属期刊栏目：43

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

资助基金：国家自然科学基金F00-06

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

页数：共7页

页码：901-907