| XML中的主动规则及其可终止性分析 |
| |
| 引用本文： | 李晖,孔兰菊,洪晓光.XML中的主动规则及其可终止性分析[J].计算机科学,2004,31(9):93-95. |
| |
| 作者姓名： | 李晖 孔兰菊 洪晓光 |
| |
| 作者单位： | 山东大学计算机科学与技术学院,济南,250100 |
| |
| 摘 要： | 主动XML系统一般采用触发器，即“事件-条件-动作”(ECA)规则来提供主动行为。本文提出了一种新的事件监测机制，在XML系统中引入‘主动节点’，即把规则也融入节点，各节点上的ECA规则只需在节点修改时被激活并进行检查，提高了动作的执行效率，增强了系统的实时性。本文结合规则实例给出了分析规则终止性的静态判定算法，引入触发图、活化图、修改后的触发图、触发环等概念，对触发图中的简单触发环进行转换，产生一个对应于触发环的循环语句，对触发环中每一个被修改的节点产生一个递归等式。展开递归等式检验它的可满足性可以用来分析规则集的可终止性。这一算法提高了可终止性判定的精确性，降低了复杂度。
|
| 关 键 词： | XML 递归 主动规则 分析规则 触发 结合规则 可满足性 终止 激活 监测机制 |
Active Rules and thier Termination in XML |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
