亚历山德罗·法奇尼;平井洋一;马尔滕·马克思;叶夫根·谢尔霍诺夫 条件树模式的包含。 （英语） Zbl 1391.68027号 日志。方法计算。科学。 11，第2号，第4号论文，25页（2015）. 摘要：条件树模式（\mathsf{CTP}）扩展了XML树模式，并将标签附加到子代边缘。这些标签可以是XML元素名或Boolean\mathsf{CTP}s。标记为\（a\）并在标记为\。实际上，这表示了直到\（B\），\（A\）保持从时间逻辑构建。本文研究了mathsf{CTP}的包含问题。对于树模式（\mathsf{TP}），这个问题是众所周知的coNP公司-完成。我们证明它是PS空间-完成\mathsf{CTP}。复杂性的增加是由于\mathsf{CTP}的表达能力足以编码无限制形式的标签否定：\（\ast\backslash a\），意思是“除a-node之外的任何节点”。用这种否定扩展的\mathsf{TP}的包含已经存在P空间-很难。\mathsf{CTP}是正则XPath的正向一阶片段。与\mathsf{TP}不同，用析取展开的\mathsf{CTP}不等价于\mathsf1{CTP{的并集。与\mathsf{TP}一样，\mathsf{CTP}是一个需要考虑的自然片段：\mathsf1{CTP{在交集下是闭合的，而带析取的\mathsf2{CTP}同样表现为用until运算符展开的正存在一阶逻辑。 引用于1文件 MSC公司： 第68页，共15页 数据库理论 68第05页 数据结构 关键词：X路径;XML格式;条件树模式;安全壳;复杂性 软件：XPath（XPath） PDF格式BibTeX公司 XML格式引用 \textit{A.Facchini}等人，日志。方法计算。科学。11，第2号，第4号论文，25页（2015；Zbl 1391.68027） 全文： 内政部 arXiv公司