| 主动数据库的规则终止性分析 |
| |
| 引用本文： | 陈战胜,王瑞祥.主动数据库的规则终止性分析[J].齐齐哈尔大学学报(自然科学版),2004,20(3):36-39. |
| |
| 作者姓名： | 陈战胜 王瑞祥 |
| |
| 作者单位： | 齐齐哈尔大学信息科学与电气工程系,齐齐哈尔,161006 |
| |
| 基金项目： | 黑龙江省自然科学基金项目(项目编号:F00-06) |
| |
| 摘 要： | 提出一种基于进化图的规则终止性静态分析的方法，全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确，之后提出了规则终止性分析算法并证明了其正确性。
|
| 关 键 词： | 规则终止性 进化图 活化图 惰化图 |
| 文章编号： | 1007-984X(2004)03-0036-04 |
| 修稿时间： | 2004年4月29日 |
The rule termination analysis of active Database |
| |
| CHEN Zhang-sheng,WANG Rui-xiang.The rule termination analysis of active Database[J].Journal of Qiqihar University(Natural Science Edition),2004,20(3):36-39. |
| |
| Authors: | CHEN Zhang-sheng WANG Rui-xiang |
| |
| Abstract: | we propose a method relies on evolution graphs simulating rule processing statically and considering both rule activation and deactivation.The evolution graphs provide a more accurate analysis than traditional graph-based approaches.we show the algorithrm testing rules termination and its correctness . |
| |
| Keywords: | rule termination evolution graph activation graph deactivation graph-* |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
