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

Model of active rule and termination analysis in XML

作　　者：吴卫华 董梅[2] 

机构地区：[1]山东省城市建设学校,山东济南250014 [2]济南大学信息科学与工程学院,山东济南250022

出　　处：《计算机工程与设计》2006年第15期2747-2749,共3页Computer Engineering and Design

基　　金：山东省自然科学基金项目(Y2001G03)

摘　　要：在对XML数据模型主动机制研究的基础上,结合规则实例提出了一种新的分析规则终止性的静态判定算法。此算法基于触发环的概念,首先对触发环中每一个被修改的节点产生一个递归等式,然后通过展开递归等式并检验其可满足性,就可以分析规则集的可终止性,这样不仅可以得到更高的精确度及更小的复杂度,而且可以得到有效的判定主动规则可终止性的条件。Studying active mechanism of XML＇s data model, a termination static decision arithmetic ofanalysis rule is put forward. This arithmetic is based on triggering cycle. R 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.

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

分 类 号：TP391[自动化与计算机技术—计算机应用技术]