XML中的主动规则的模型及其可终止性分析.PDFVIP

第27卷第15期 计算机工程与设计 2006年8月 5 V01．27No．1 and Computer Design Aug．2006 Engineering XML中的主动规则的模型及其可终止性分析 吴卫华1， 董梅2 摘要：在对XML数据模型主动机制研究的基础上，结合规则实例提出了一种新的分析规则终止性的静态判定算法。此算 法基于触发环的概念，首先对触发环中每一个被修改的节点产生一个递归等式，然后通过展开递归等式并检验其可满足 性，就可以分析规则集的可终止性，这样不仅可以得到更高的精确度及更小的复杂度，而且可以得到有效的判定主动规则 可终止性的条件。 关键词：可扩展标识性语言；主动节点；“事件．条件．动作”主动规则；可终止性；递归等式 中图法分类号：TP391文献标识码：A 文章编号：1000．7024(2006)15—2747．03