摘要：用正則樹表示的XML數(shù)據(jù)中對XPath的決策問題,是大數(shù)據(jù)查詢中常見的方法之一,本文提出了一套實用的、有效的數(shù)學(xué)模型來解決XPath表達式中的可滿足性問題。并通過對一些決策問題,例如帶或者不帶類型約束的XPath的空、包含、重疊和覆蓋問題的實驗對于算法進行了證實,實驗證明該系統(tǒng)能夠有效的被使用于對操作XPath表達式和XML類型注釋的程序語言的靜態(tài)分析器中。