{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{-“日期-部件”:[[2024,2,9]],“日期-时间”:“2024-02-09T23:30:38Z”,“时间戳”:1707521438314},“参考-计数”:0,“出版商”:“通信科学指导中心(CCSD)”,“许可证”:[{“开始”:{“日期-零件”:[2006,7,26]],”日期-时间“:“2006-07-26T00:00:00Z”,“timestamp”:1153872000000},“content-version”:“unspecified”,“delay-in-days”:0,“URL”:“https:\/\/arxiv.org\/licenses\/assumed-1991-2003”}],“content-domain”:{“domain”:[],“crossmark-restriction”:false},”short-container-title“:[],”abstract“:”XPath是一种用于导航XML树和返回一组应答节点的简单语言。本文的重点是各种XPath片段的包含问题的复杂性。我们将注意力限制在沿子轴和/或子轴导航的最常见XPath表达式上。\除了只使用节点测试和简单谓词的基本表达式外,\n我们还考虑析取和变量(范围在节点上)。此外,我们还研究了与给定DTD相关的包含问题。关于变量,我们研究了两种语义,(1)XPath的原始语义,其中变量的值是由外部上下文给定的,以及(2)Deutsch和Tannen引入的存在论,其中变量值是存在量化的。在这个框架中,我们为许多XPath碎片的包含问题的复杂性建立了准确的分类<\/jats:p>“,”DOI“:”10.2168 \/lmcs-2(3:1)2006“,”type“:”journal-article“,”created“:{”date-parts“:[[2006,11,23]],”date-time“:”2006-11-23T09:27:56Z“,”timestamp“:1164274076000},”source“:“Crossref”,“is-referenced-by-count”:44,“title”:[“On the complexity of XPath containment in presence of disjunction,DTD,and variables”],“prefix”:“10.46298”,“volume”:“第2卷第3期“,“作者”:[{“ORCID”:“http://\/ORCID.org\/0000-0002-7143-1903”,“authenticated-ORCID”:false,“给定”:“Frank”,“家族”:“Neven”,”sequence“:”first“,”affiliation“:[]},{“给定”:“Thomas”,“family”:“Schwentick”,“sequence”:“additional”,“affiliance”:[]2],“member”:“25203”,,7,26]]},“集装箱标签”:[“计算机科学中的逻辑方法”],“原标题”:[],“语言”:“en”,“链接”:[{“URL”:“https://lmcs.episciences.org/2243\/pdf”,“内容类型”:“应用程序\/pdf”,“内容版本”:“vor”,“预期应用程序”:“文本挖掘”},{“URL”:“https://lmcs.episciences.org/2243\/pdf”,“内容类型”:“未指定”,“内容版本”:“vor”,“intended-application“:”相似性检查“}],”存放“:{”日期部分“:[2023,4,11]],”日期时间“:”2023-04-11T20:10:30Z“,”时间戳“:1681243830000},”分数“:1,”资源“:{“primary”:{“URL”:“https:\/\/lmcs.episciences.org\/2243”},“subtitle”:[],“shorttitle”:[],“issued”:{“日期部分”:[[2006,7,26]},“references-count”:0,“URL”:“http:\/\/dx.doi.org\/10.2168\/lmcs-2(3:1)2006“,”关系“:{”is-same-as“:[{”id-type“:”arxiv“,”id“:”cs\/0606065“,”asserted-by“:”subject“},{”ids-type”:“doi”,“id”:“10.48550 \/arxiv.cs\/06065”,“asserted-by”:“subject”}]},“ISSN”:[“1860-5974”],“ISSN-type”:[{“value”:“1860-5974”,“type”:“electronic”}],“subject”:[],“published”:{“date-parts”:[[2006,7,26]]}}