|
|||||
|
|
| 基于标注事件图的空间数据库主动规则终止性分析 | |
| 作者姓名： | 熊伟 廖巍 景宁 陈宏盛 |
| 作者单位： | 国防科技大学,电子科学与工程学院,湖南,长沙,410073;国防科技大学,电子科学与工程学院,湖南,长沙,410073;国防科技大学,电子科学与工程学院,湖南,长沙,410073;国防科技大学,电子科学与工程学院,湖南,长沙,410073 |
| 摘 要： | 主动规则的终止性分析强化了规则的设计高效性。给出主动规则元模型的概念作为主动规则终止性分析和比较的基础;对精化触发图进行扩展,提出标注事件图分析模型。结合实例给出终止性分析算法。与各种方法的对比说明标注事件图是可应用于终止性分析的通用抽象模型。 |
| 关 键 词： | 标注事件图 空间数据库 主动规则 终止性分析 |
| 文章编号： | 1001-2486(2006)02-0059-05 |
| 收稿时间： | 2005-04-21 |
| 修稿时间： | 2005-04-21 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《国防科技大学学报》浏览原始摘要信息 | |
| 点击此处可从《国防科技大学学报》下载免费的PDF全文 | |