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

【Abstract】 Studying active mechanism of XML’s data model,a termination static decision arithmetic of analysis rule is put forward.This arithmetic is based on triggering cycle.It derives a recursion equation for each node that is modified in the cycle.Unfolding of the recursion equation and testing for the satisfiability are used to analyze the termination of the rule.Besides improves definition of the rule and reduces time complexity,the condition of termination decision is obtained.更多还原