主动规则可终止性分析的规则缩减算法

摘要：

研究主动数据库系统中规则终止特性的静态分析技术.通过对基本触发图分析方法的研究,根据主动规则的可终止性给出了将触发图和激活图相结合的一种规则终止分析方法,并将其运用于主动面向对象数据库系统AO2DB的规则终止分析中.该方法与基本触发图分析方法相比能够更准确地判定规则的可终止性.

关键词：主动规则、规则终止、触发图、激活图

所属期刊栏目：21

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

资助基金：国家部级科研项目

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

页数：共5页

页码：485-489