基于XML路径和类型的决策问题的研究

摘要：

提出了一种算法来分析用正则树表示的XML数据中对XPath的决策问题,并用该方法检查XPath静态类型的数据.此外根据对有限顺序树的带逆操作的逻辑的判定性定理,证明了算法时间复杂度为简单的一个表达式的指数级大小.提出了一套实用的、有效的数学模型来解决XPath表达式中的可满足性问题.并通过对一些决策问题,例如带或者不带类型约束的XPath的空、包含、重叠和覆盖问题的实验对算法进行了证实,实验证明该系统能够有效用于对操作XPath表达式和XML类型注释的程序语言的静态分析器中.

关键词：XML、决策问题、可满足性检测

所属期刊栏目：37

分类号：TP393(计算技术、计算机技术)

资助基金：863基金2007AA012401;哈尔滨市基金RC2009XK010003

在线出版日期：2011-01-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：172-174,211