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

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

An Algorithm of the Refined Rules for Active Rule Termination Analysis

A static analysis technique is studied in active database system for rule termination. By a study of the basic triggering graph analysis method, depending on the behavior characteristic of active rule, a rule termination analysis method combining triggering graph with activation graph is concluded, and introduced to the active object oriented database system AO2DB for active rule termination analysis. This technique can decide the terminability of given rule sets more exactly than the basic triggering graph method.