Geerts，弗洛里斯;范文飞 具有同级轴的XPath查询的可满足性。 （英语） Zbl 1159.68418号 Bierman，Gavin（编辑）等人，《数据库编程语言》。2005年8月28日至29日，挪威特隆赫姆，第十届国际研讨会，DBPL 2005。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-30951-9/pbk）。计算机科学课堂讲稿3774122-137（2005）。 摘要：我们研究了支持以下同级轴和前面同级轴的XPath片段的可满足性问题。尽管最近针对没有同级轴的XPath片段研究了这个问题，但对于同级轴对可满足性分析的影响知之甚少。为此，我们重新讨论了具有兄弟轴的各种XPath片段在有DTD、无DTD和各种受限DTD的情况下的可满足性问题。在这些设置中，我们建立了从NLOGSPACE到不可判定的复杂性边界。我们的主要结论是，在许多情况下，兄弟轴的存在使可满足性分析复杂化。事实上，我们表明，在没有同级轴的情况下，PTIME和PSPACE中存在XPath可满足性问题，但当使用同级轴而不是相应的垂直模式（例如通配符和后代轴）时，这些问题将分别变成NP-hard和EXPTIME-hard。关于整个系列，请参见[兹比尔1099.68001]. 引用于5文件 MSC公司： 第68页，共15页 数据库理论 软件：XPath（XPath） PDF格式BibTeX公司 XML格式引用 \textit{F.Geerts}和\textit{W.Fan}，莱克特。注释计算。科学。3774、122-137（2005年；Zbl 1159.68418） 全文： 内政部