【摘要】 文章以XML数据模型主动机制的研究作为出发点,讨论了XML中主动规则的模型与实现及其相关行为属性的分析,并结合规则实例提出了一种新的分析规则终止性的静态判定算法。这一算法提高了规则可终止性判定的精确度,降低了时间复杂度,可以作为进一步主动规则分析的理论基础。更多还原

【Abstract】 This paper discusses the model of ECA Active Rule and analyses the property according to studying active mechanism of XML’s data model. Combine with rule example, it puts forward a termination static decision arithmetic of analysis rule. Apart from improving definition of rule termination decision and reducing time complexity, we can make it as theory base to studying ECA Active Rule.更多还原