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