| 一种改进的规则终止性分析方法的研究 |
| |
| 引用本文： | 陈战胜,滕永富.一种改进的规则终止性分析方法的研究[J].齐齐哈尔大学学报(自然科学版),2007,23(4):37-40. |
| |
| 作者姓名： | 陈战胜 滕永富 |
| |
| 作者单位： | 1. 北京联合大学东方信息技术学院,河北,廊坊,065000
2. 齐齐哈尔大学研究生处,黑龙江,齐齐哈尔,161006 |
| |
| 摘 要： | 提出一种新的规则终止性静态分析方法REG,它在全面考虑触发图、活化图和惰化图的基础上引入事务的思想。对于规则的终止性分析,采用REG方法比基于进化图的分析方法更具体、精确,接着给出了REG的算法并证明其正确性。
|
| 关 键 词： | 规则终止性 事务 进化图 |
| 文章编号： | 1007-984X（2007）04-0037-04 |
| 修稿时间： | 2007-03-10 |
An improved method for rule termination analysis research |
| |
| CHEN Zhang-sheng,TENG Yong-fu.An improved method for rule termination analysis research[J].Journal of Qiqihar University(Natural Science Edition),2007,23(4):37-40. |
| |
| Authors: | CHEN Zhang-sheng TENG Yong-fu |
| |
| Institution: | 1.Oriental Information Teehnology College,BeiJing Union University, Hebei Langfang 065000, China; 2.Qiqihar University Graduate Student Office, Heilongjiang Qiqihar 161006, China |
| |
| Abstract: | We propse a improved method called REG for rule termination analysis ,the method which takes advantage of information within a transaction relies on evolution graphs simulating rule processing statically and considering both rule activation and deactivation.Using transaction,the new method provide a more specific and precise analysis than the evolution graph method ,then we show the REG algorithm testing rules termination and verify its correctness. |
| |
| Keywords: | REG |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
