| XML中的主动规则的模型及其可终止性分析 |
| |
| 引用本文： | 吴卫华,董梅.XML中的主动规则的模型及其可终止性分析[J].计算机工程与设计,2006,27(15):2747-2749. |
| |
| 作者姓名： | 吴卫华 董梅 |
| |
| 作者单位： | 1. 山东省城市建设学校,山东,济南,250014
2. 济南大学,信息科学与工程学院,山东,济南,250022 |
| |
| 摘 要： | 在对XML数据模型主动机制研究的基础上，结合规则实例提出了一种新的分析规则终止性的静态判定算法。此算法基于触发环的概念，首先对触发环中每一个被修改的节点产生一个递归等式，然后通过展开递归等式并检验其可满足性，就可以分析规则集的可终止性，这样不仅可以得到更高的精确度及更小的复杂度，而且可以得到有效的判定主动规则可终止性的条件。
|
| 关 键 词： | 可扩展标识性语言 主动节点 "事件-条件-动作"主动规则 可终止性 递归等式 |
| 文章编号： | 1000-7024（2006）15-2747-03 |
| 收稿时间： | 2005-06-01 |
| 修稿时间： | 2005-06-01 |
Model of active rule and termination analysis in XML |
| |
| WU Wei-hua,DONG Mei.Model of active rule and termination analysis in XML[J].Computer Engineering and Design,2006,27(15):2747-2749. |
| |
| Authors: | WU Wei-hua DONG Mei |
| |
| Affiliation: | 1. Shandong Urban Construction School, Jinan 250014, China; 2. School of Information Science and Engineering, Jinan University, Jinan 250022, China |
| |
| Abstract: | Studying active mechanism of XML's data model,a termination static decision arithmetic of analysis rule is put forward.This arithmetic is based on triggering cycle.It derives a recursion equation for each node that is modified in the cycle.Unfolding of the recursion equation and testing for the satisfiability are used to analyze the termination of the rule.Besides improves definition of the rule and reduces time complexity,the condition of termination decision is obtained. |
| |
| Keywords: | XML active node ECA active rule termination recursion equation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
