主动规则在XML系统中的实现及可终止性分析  

Achievement of Active Rule and Termination Analysis in XML

作　　者：袁宁[1] 栾虹[1] 郝光前 田昊[2] 

机构地区：[1]济南大学信息科学与工程学院,山东济南250022 [2]山东省智奥地理信息中心,山东济南250013

出　　处：《微电子学与计算机》2006年第2期38-41,共4页Microelectronics & Computer

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

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

关 键 词：XML ECA主动规则 可终止性 递归等式 

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