10.3969/j.issn.1000-7024.2006.15.013
XML中的主动规则的模型及其可终止性分析
在对XML数据模型主动机制研究的基础上,结合规则实例提出了一种新的分析规则终止性的静态判定算法.此算法基于触发环的概念,首先对触发环中每一个被修改的节点产生一个递归等式,然后通过展开递归等式并检验其可满足性,就可以分析规则集的可终止性,这样不仅可以得到更高的精确度及更小的复杂度,而且可以得到有效的判定主动规则可终止性的条件.
可扩展标识性语言、主动节点、"事件-条件-动作"主动规则、可终止性、递归等式
27
TP391(计算技术、计算机技术)
山东省自然科学基金Y2001G03
2006-09-11(万方平台首次上网日期,不代表论文的发表时间)
共3页
2747-2749