×
马克·卡明斯基;埃戈尔·柯斯特列夫（Egor V.Kostylev）。

设计不完善的SPARQL的复杂性和表达能力。 （英文） Zbl 1392.68169号

理论计算。系统。 62，第4期，772-809（2018）.
摘要：SPARQL是RDF数据的标准查询语言。SPARQL的独特功能是OPTIONAL运算符，它允许在由于缺少信息而无法获得完整答案时提供部分答案。然而，可选匹配的计算成本很高——查询应答是PSPACE-complete。设计良好的SPARQL片段通过限制可选匹配的使用，获得了更好的计算属性——查询应答成为coNP-complete。缺点是，设计良好的SPARQL捕获的查询远不是所有实际查询，事实上，在DBpedia上使用OPTIONAL的查询中，只有大约一半是设计良好的。在本文中，我们研究了设计良好的SPARQL之外的查询。我们引入了一类弱设计查询，它包含了设计良好的查询，并包括最常见的有意义的非设计良好的查询：我们的分析表明，新片段使用OPTIONAL捕获了99%以上的DBpedia查询。同时，对于设计不完善的SPARQL的查询应答仍然是coNP-complete，在某种意义上，我们的片段对于这种复杂性来说是最大的。我们表明，片段的表达能力严格介于设计良好和完整的SPARQL之间。最后，我们为弱设计查询提供了一种直观的范式，并研究了包含和等价的复杂性。

MSC公司：

第68页，共15页 数据库理论

关键词：

RDF查询语言;SPARQL公司;可选匹配

软件：

DBpedia（数据库）;Ontop（顶部）;SPARQL公司
PDF格式BibTeX公司 XML格式引用
\textit｛M.Kaminski｝和\textit｛E.V.Kostylev｝，理论计算。系统。62，第4号，772--809（2018；Zbl 1392.68169）
全文： 内政部

参考文献：

[1] Ahmetaj，S.、Fischl，W.、Pichler，R.、Simkus，M.、Skritek，S.：致力于协调SPARQL和某些答案。摘自：Gangemi，A.，Leonardi，S.，Panconesi，A.（编辑）《第24届万维网国际会议论文集》，WWW 2015，第23-33页。ACM（2015）·Zbl 1296.68044号
[2] Angles，R.，Gutierrez，C.：SPARQL的表达能力。收录于：Sheth，A.P.、Staab，S.、Dean，M.、Paolucci，M.，Maynard，D.、Finin，T.W.、Thirunarayan，K.（编辑）ISWC 2008，LNCS，第5318卷，第114-129页。施普林格（2008）
[3] Arenas，M.、Conca，S.、Pérez，J.：超越Yotabyte的计数，或者SPARQL1.1属性路径如何阻止标准的采用。摘自：Mille，A.、Gandon，F.L.、Misselis，J.、Rabinovich，M.、Staab，S.（编辑）《第21届万维网会议论文集》，WWW 2012，第629-638页。ACM（2012年）
[4] Arenas，M.，Gottlob，G.，Pieris，A.：查询语义网的表达语言。摘自：Hull，R.，Grohe，M.（编辑）第33届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集，PODS 2014，第14-26页。ACM（2014）
[5] Arenas，M.，Pörez，J.：使用SPARQL查询语义Web数据。参见：Lenzerini，M.，Schwentick，T.（编辑）《第30届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集》，PODS 2011，第305-316页。ACM（2011）
[6] Arenas，M.，Ugarte，M.：为RDF设计查询语言：结合开放和封闭世界。参见：Milo，T.，Tan，W.（编辑）《第35届ACM SIGMOD-SIGACT-SIGAI数据库系统原理研讨会论文集》，PODS 2016，第225-236页。ACM（2016）
[7] Arias Gallego，M.，Fernández，J.D.，Martínez-Prieto，M.A.，de la Fuente，P.：真实世界SPARQL查询的实证研究，《第一届使用分析和数据网络国际研讨会论文集》，USEWOD 2011。arXiv:1103.5043（2011）
[8] Barceló，P.，Pichler，R.，Skritek，S.：设计良好的模式树的有效评估和近似。摘自：Milo，T.，Calvanee，D.（编辑）《第34届ACM数据库系统原理研讨会论文集》，PODS 2015，第131-144页。ACM（2015）
[9] Bischof，S.、Krótzsch，M.、Polleres，A.、Rudolph，S.：SPARQL1.1中的模式-认知查询重写。收录人：Mika，P.，Tudorach，T.，Bernstein，A.，Welty，C.，Knoblock，C.A.，Vrandecic，D.，Groth，P.T.，Noy，N.F.，Janowicz，K.，Goble，C.A.（编辑）ISWC 2014，第一部分，LNCS，第8796卷，第584-600页。施普林格（2014）
[10] Buil Aranda，C.，Arenas，M.，Corcho，澳大利亚。，Simperl，E.P.B.：SPARQL1.1联邦扩展的语义和优化。收录人：Antoniou，G.，Grobelnik，M.，Parsia，B.，Plexousakis，D.，Leenher，P.D.，Pan，J.Z.（编辑）ESWC 2011，第二部分，LNCS，第6644卷，第1-15页。施普林格（2011）
[11] Buil Aranda，C.，Polleres，A.，Umbrich，J.，Knoblock，C.A.，Vrandecic，D.：SPARQL 1.1中执行联合查询的策略。收录人：Mika，P.，Tudorach，T.，Bernstein，A.，Welty，C.，Groth，P.T.，Noy，N.F.，Janowicz，K.，Goble，C.A.（编辑）ISWC 2014，第二部分，LNCS，第8797卷，第390-405页。斯普林格（2014）
[12] Chekol，M.W.，Euzenat，J.，Genevès，P.，Layaída，N.：RDFS包含机制下的SPARQL查询包含。在：Gramlich，B.，Miller，D.，Sattler，U.（编辑）IJCAR 2012，LNCS，第7364卷，第134-148页。施普林格（2012）·Zbl 1358.68251号
[13] Chekol，M.W.，Euzenat，J.，Genevès，P.，Layaída，N.：SHI公理下的SPARQL查询包含。摘自：Hoffmann，J.，Selman，B.（编辑）《第26届AAAI人工智能会议论文集》，AAAI 2012，第10-16页。AAAI出版社（2012）
[14] Cyganiak，R.，Wood，D.，Lanthaler，M.：RDF 1.1概念和抽象语法。W3C推荐，W3C。http://www.w3.org/TR/rdf11-概念/ (2014) ·兹比尔1400.68065
[15] Geerts，F；昂格尔，T；Karvounarakis，G；Fundulaki，I；Christophides，V，捕捉SPARQL查询起源的代数结构，J.ACM，63，7:1-7:63，（2016）·Zbl 1426.68079号 ·数字对象标识代码：10.1145/2810037
[16] Halpin，H.、Cheney，J.：SPARQL更新的动态起源。收录人：Mika，P.，Tudorach，T.，Bernstein，A.，Welty，C.，Knoblock，C.A.，Vrandecic，D.，Groth，P.T.，Noy，N.F.，Janowicz，K.，Goble，C.A.（编辑）ISWC 2014，第一部分，LNCS，第8796卷，第425-440页。斯普林格（2014）
[17] Harris，S.，Seaborne，A.：SPARQL 1.1查询语言。W3C推荐，W3C。http://www.w3.org/TR/sparql11-query网站/ (2013)
[18] Hayes，P.J.，Patel-Schneider，P.F.:RDF 1.1语义。W3C推荐，W3C。http://www.w3.org/TR/rdf11-mt/ (2014)
[19] Kaminski，M.，Kostylev，E.V.：超越精心设计的SPARQL。摘自：Martens，W.，Zeume，T.（eds.）《第19届数据库理论国际会议论文集》，ICDT 2016，LIPIcs，第48卷，第5:1-5:18页。达格斯图尔宫（Schloss Dagstuhl）-莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）（2016年）·兹比尔1369.68187
[20] Kaminski，M.，Kostylev，E.V.，Cuenca Grau，B.：SPARQL 1.1中子查询和聚合的语义和表达能力。收录于：Bourdeau，J.、Hendler，J.，Nkambou，R.、Horrocks，I.、Zhao，B.Y.（编辑）《第25届万维网国际会议论文集》，WWW 2016，第227-238页。ACM（2016）
[21] Kontchakov，R.，Kostylev，E.V.：关于SPARQL中非单调算子的可表达性。收录于：Baral，C.、Delgrand，J.P.、Wolter，F.（编辑）《第十五届知识表示与推理原则国际会议论文集》，韩国，2016年，第369-379页。AAAI出版社（2016）
[22] Kontchakov，R.、Rezk，M.、Rodriguez-muro，M.，Xiao，G.、Zakharyaschev，M.：在OWL 2 QL包含机制下回答数据库上的SPARQL查询。收录人：Mika，P.，Tudorach，T.，Bernstein，A.，Welty，C.，Knoblock，C.A.，Vrandecic，D.，Groth，P.T.，Noy，N.F.，Janowicz，K.，Goble，C.A.（编辑）ISWC 2014，第一部分，LNCS，第8796卷，第552-567页。施普林格（2014）·Zbl 1321.68129号
[23] Kostylev，E.V.，Cuenca Grau，B.：关于蕴涵机制下具有可选匹配的SPARQL查询的语义。收录人：Mika，P.，Tudorach，T.，Bernstein，A.，Welty，C.，Knoblock，C.A.，Vrandecic，D.，Groth，P.T.，Noy，N.F.，Janowicz，K.，Goble，C.A.（编辑）ISWC 2014，第二部分，LNCS，第8797卷，第374-389页。斯普林格（2014）
[24] Kostylev，E.V.，Reutter，J.L.，Romero，M.，Vrgoc，D.，Staab，S.：带有属性路径的SPARQL。位于：Arenas，M.，Corcho，Ȯ。，Simperl，E.、Strohmaier，M.、d'Aquin，M.，Srinivas，K.、Groth，P.T.、Dumoniter，M.和Heflin，J.、Thirunarayan，K.（编辑）ISWC 2015，第一部分，LNCS，第9366卷，第3-18页。斯普林格（2015）
[25] Kostylev，E.V.，Reutter，J.L.，Ugarte，M.：SPARQL中的构造查询。摘自：Arenas，M.，Ugarte，M.（编辑）《第18届国际数据库理论会议论文集》，ICDT 2015，LIPIcs，第31卷，第212-229页。Schloss Dagstuhl-Leibniz Zentrum für Informatik出版社（2015）·Zbl 1365.68210号
[26] 莱曼，J；伊塞莱，R；雅各布，M；Jentzsch，A；Kontokostas，D；门德斯，PN；赫尔曼，S；莫西，M；克莱夫，P；奥尔，S；Bizer，C，Dbpedia——从维基百科、语义网中提取的大规模多语言知识库，6167-195，（2015）
[27] Letelier，A；Pérez，J；皮克勒，R；Skritek，S，语义web查询的静态分析和优化，ACM Trans。数据库系统。，38, 25, (2013) ·Zbl 1321.68129号 ·doi:10.1145/2500130
[28] Losemann，K.，Martens，W.：在SPARQL中评估路径表达式的复杂性。参见：Benedikt，M.，Krótzsch，M..，Lenzerini，M.（编辑）第31届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集，PODS 2012，第101-112页。ACM（2012年）
[29] Luczak-Rösch，M.，Aljaloud，S.，Berendt，B.，Hollink，L.：USEWOD 2016研究数据集。doi:10.5258/SOTON/385344（2016）
[30] Luczak-Rösch，M.，Berendt，B.，Hollink，L.：USEWOD 2015研究数据集。doi:10.5258/SOTON/379407（2015）
[31] Manola，F.、Miller，E.、McBride，B.：RDF 1.1底漆。W3C工作组注释，W3C。http://www.w3.org/TR/rdf11-聚合物/ (2014)
[32] Pérez，J.、Arenas，M.、Gutierrez，C.：SPARQL的语义和复杂性。收录于：Cruz，I.F.，Decker，S.，Allemang，D.，Preist，C.，Schwabe，D.，Mika，P.，Uschold，M.，Aroyo，L.（编辑）ISWC 2006，LNCS，第4273卷，第30-43页。斯普林格（2006）
[33] 佩雷斯，J；阿里纳斯，M；Gutierrez，C，SPARQL的语义和复杂性，ACM Trans。数据库系统。，34, 16:1-16:45, (2009) ·数字对象标识代码：10.1145/1567274.1567278
[34] Picalausa，F.，Vansummeren，S.：真正的SPARQL查询是什么样的？收录于：Virgilio，R.D.、Giunchiglia，F.、Tanca，L.（编辑）《第三届语义Web信息管理国际研讨会论文集》，SWIM 2011，第7:1-7:6页。ACM（2011）
[35] Pichler，R.，Skritek，S.：设计良好的SPARQL的包含和等价性。参见：Hull，R.，Grohe，M.（编辑）第33届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集，PODS 2014，第39-50页。ACM（2014）
[36] Polleres，A；Wallner，JP，《关于SPARQL 1.1和答案集编程之间的关系》，J.Appl。非经典测井。，23, 159-212, (2013) ·Zbl 1400.68065号 ·doi:10.1080/11663081.2013.798992
[37] Prud’hommeaux，E.，Seaborne，A.：RDF的SPARQL查询语言。W3C推荐，W3C。http://www.w3.org/TR/rdf-sparql-query/ (2008) ·Zbl 1426.68079号
[38] Schmidt，M.、Meier，M.和Lausen，G.：SPARQL查询优化的基础。摘自：Segoufin，L.（编辑）《第13届数据库理论国际会议论文集》，ICDT 2010，第4-33页。ACM（2010）
[39] 张，X；Bussche，J，《关于SPARQL在表示导航查询方面的能力》，计算。J.，582841-2851，（2015）·doi:10.1093/comjnl/bxu128
[40] 张，X；bussche，J，《关于SPARQL中运算符的原始性》，Inf.Process。莱特。，114, 480-485, (2014) ·Zbl 1296.68044号 ·doi:10.1016/j.ipl.2014.03.014
[41] 张，X；bussche，J；Picalausa，F，关于SPARQL模式的可满足性问题，J.Artif。智力。研究（JAIR），56，403-428，（2016）·兹比尔1371.68065
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。