摘要
主动规则的终止性分析强化了规则的设计高效性。给出主动规则元模型的概念作为主动规则终止性分析和比较的基础;对精化触发图进行扩展,提出标注事件图分析模型。结合实例给出终止性分析算法。与各种方法的对比说明标注事件图是可应用于终止性分析的通用抽象模型。
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.
出处
《国防科技大学学报》
EI
CAS
CSCD
北大核心
2006年第2期59-63,共5页
Journal of National University of Defense Technology
基金
国家863高技术资助项目(2003AA5110)
关键词
标注事件图
空间数据库
主动规则
终止性分析
labeled events graph
spatial database
active rule
temaination analysis