| 基于标注事件图的空间数据库主动规则终止性分析 |
| |
| 引用本文： | 熊伟,廖巍,景宁,陈宏盛.基于标注事件图的空间数据库主动规则终止性分析[J].国防科技大学学报,2006,28(2):59-63. |
| |
| 作者姓名： | 熊伟 廖巍 景宁 陈宏盛 |
| |
| 作者单位： | 国防科技大学,电子科学与工程学院,湖南,长沙,410073 |
| |
| 摘 要： | 主动规则的终止性分析强化了规则的设计高效性。给出主动规则元模型的概念作为主动规则终止性分析和比较的基础;对精化触发图进行扩展,提出标注事件图分析模型。结合实例给出终止性分析算法。与各种方法的对比说明标注事件图是可应用于终止性分析的通用抽象模型。
|
| 关 键 词： | 标注事件图 空间数据库 主动规则 终止性分析 |
| 文章编号： | 1001-2486(2006)02-0059-05 |
| 收稿时间： | 2005/4/21 0:00:00 |
| 修稿时间： | 2005年4月21日 |
Termination Analysis for Active Rules of Spatial Database Based on Labeled Events Graph |
| |
| XIONG Wei,LIAO Wei,JING Ning and CHEN Hongsheng.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. |
| |
| Authors: | XIONG Wei LIAO Wei JING Ning and CHEN Hongsheng |
| |
| 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 |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《国防科技大学学报》浏览原始摘要信息 |
| 点击此处可从《国防科技大学学报》下载免费的PDF全文 |
