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

摘要：

在对XML数据模型主动机制研究的基础上,结合规则实例提出了一种新的分析规则终止性的静态判定算法.此算法基于触发环的概念,首先对触发环中每一个被修改的节点产生一个递归等式,然后通过展开递归等式并检验其可满足性,就可以分析规则集的可终止性,这样不仅可以得到更高的精确度及更小的复杂度,而且可以得到有效的判定主动规则可终止性的条件.

关键词：可扩展标识性语言、主动节点、"事件-条件-动作"主动规则、可终止性、递归等式

所属期刊栏目：27

分类号：TP391(计算技术、计算机技术)

资助基金：山东省自然科学基金Y2001G03

在线出版日期：2006-09-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：2747-2749