| 引用本文: | 熊伟,廖巍,景宁,等.基于标注事件图的空间数据库主动规则终止性分析.[J].国防科技大学学报,2006,28(2):59-63.[点击复制] |
| XIONG Wei,LIAO Wei,JING Ning,et al.Termination Analysis for Active Rules of Spatial Database Based on Labeled Events Graph[J].Journal of National University of Defense Technology,2006,28(2):59-63[点击复制] |
|
| |
|
|
| 本文已被：浏览 6621次 下载 5556次 |
| 基于标注事件图的空间数据库主动规则终止性分析 |
| 熊伟, 廖巍, 景宁, 陈宏盛 |
|
(国防科技大学 电子科学与工程学院，湖南 长沙 410073)
|
| 摘要: |
| 主动规则的终止性分析强化了规则的设计高效性。给出主动规则元模型的概念作为主动规则终止性分析和比较的基础；对精化触发图进行扩展，提出标注事件图分析模型。结合实例给出终止性分析算法。与各种方法的对比说明标注事件图是可应用于终止性分析的通用抽象模型。 |
| 关键词: 标注事件图 空间数据库 主动规则 终止性分析 |
| DOI： |
| 投稿日期：2005-04-21 |
| 基金项目:国家863高技术资助项目(2003AA5110) |
|
| Termination Analysis for Active Rules of Spatial Database Based on Labeled Events Graph |
| XIONG Wei, LIAO Wei, JING Ning, CHEN Hongsheng |
|
(College of Electronic Science and Engineering, National Univ. of Defense Technology，Changsha 410073，China)
|
| Abstract: |
| Termination analysis for active rules improves the design of rule 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). Termination 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 termination analysis in comparison with other methods. |
| Keywords: labeled events graph spatial database active rule termination analysis |
|
|
