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

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

作　　者：熊伟[1] 廖巍[1] 景宁[1] 陈宏盛[1] 

机构地区：[1]国防科技大学电子科学与工程学院,湖南长沙410073

出　　处：《国防科技大学学报》2006年第2期59-63,共5页Journal of National University of Defense Technology

基　　金：国家863高技术资助项目(2003AA5110)

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

关 键 词：标注事件图 空间数据库 主动规则 终止性分析 

分 类 号：TP392[自动化与计算机技术—计算机应用技术]