基于标注事件图的空间数据库主动规则终止性分析

Termination Analysis for Active Rules of Spatial Database Based on Labeled Events Graph

主动规则的终止性分析强化了规则的设计高效性。给出主动规则元模型的概念作为主动规则终止性分析和比较的基础;对精化触发图进行扩展,提出标注事件图分析模型。结合实例给出终止性分析算法。与各种方法的对比说明标注事件图是可应用于终止性分析的通用抽象模型。

Temaination analysis for active rides improves the design of nile set. Active rule meta-model is proposed as a basis for termination analysis and comparison. The refined triggering graph was extended to construct labeled events graph（LEG）. Temaination analysis algorithm of LEG was presented, whose efficiency was illustrated by an example. It can be easily seen that LEG is a general abstract model for temaination analysis in comparison with other methods.