10.3969/j.issn.1002-137X.2004.09.025
XML中的主动规则及其可终止性分析
主动XML系统一般采用触发器,即"事件-条件-动作"(ECA)规则来提供主动行为.本文提出了一种新的事件监测机制,在XML系统中引入‘主动节点',即把规则也融入节点,各节点上的ECA规则只需在节点修改时被激活并进行检查,提高了劝作的执行效率,增强了系统的实时性.本文结合规则实例给出了分析规则终止性的静态判定算法,引入触发图、活化图、修改后的触发图、触发环等概念,对触发图中的简单触发环进行转换,产生一个对应于触发环的循环语句,对触发环中每一个被修改的节点产生一个递归等式.展开递归等式检验它的可满足性可以用来分析规则集的可终止性.这一算法提高了可终止性判定的精确性,降低了复杂度.
XML、OQL、ECA主动规则、可终止性、递归等式
31
TP3;TP1
2004-11-04(万方平台首次上网日期,不代表论文的发表时间)
共3页
93-95