摘要：用正则树表示的XML数据中对XPath的决策问题,是大数据查询中常见的方法之一,本文提出了一套实用的、有效的数学模型来解决XPath表达式中的可满足性问题。并通过对一些决策问题,例如带或者不带类型约束的XPath的空、包含、重叠和覆盖问题的实验对于算法进行了证实,实验证明该系统能够有效的被使用于对操作XPath表达式和XML类型注释的程序语言的静态分析器中。