Size Bounds and Algorithms for Conjunctive Regular Path Queries

Cucumides, Tamara; Reutter, Juan; Vrgoč, Domagoj

doi:10.4230/LIPIcs.ICDT.2023.13

连接正则路径查询的大小界限和算法

作者详细信息

塔玛拉·库米德斯

比利时安特卫普大学
智利圣地亚哥智利天主教大学

胡安·雷特

智利圣地亚哥智利天主教大学
千年数据基础研究所，智利圣地亚哥

Domagoj Vrgoč

克罗地亚萨格勒布大学
智利圣地亚哥智利天主教大学

引用为获取BibTex

塔马拉·库库米德斯（Tamara Cucumides）、胡安·鲁特（Juan Reutter）和多马戈·弗尔戈（Domagoj Vrgoč）。连接正则路径查询的大小界限和算法。在第26届国际数据库理论会议（ICDT 2023）上。莱布尼茨国际信息学论文集（LIPIcs），第255卷，第13:1-13:17页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2023）
https://doi.org/10.4230/LIPIcs.ICDT.2023.13

@会议记录{cucumides_et_al:LIPIcs.ICDT.2023.13，author={Cucumides、Tamara和Reutter、Juan和Vrgo\v{c}、Domagoj}，title={{联合正则路径查询的大小界限和算法}}，booktitle={第26届数据库理论国际会议（ICDT 2023）}，页数={13:1--13:17}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-270-9}，ISSN={1868-8969}，年份={2023}，体积={255}，editor={Geerts、Floris和Vandevort、Brecht}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2023.13},URN={URN:nbn:de:0030-drops-177552}，doi={10.4230/LIPIcs.ICDT.2023.13}，annote={关键词：图形数据库、常规路径查询、最坏情况下的优化算法}}

<trans data-src="@InProceedings{cucumides_et_al:LIPIcs.ICDT.2023.13,">@会议记录{cucumides_et_al:LIPIcs.ICDT.2023.13，</trans><trans data-src="author =	{Cucumides, Tamara and Reutter, Juan and Vrgo\v{c}, Domagoj},">author={Cucumides、Tamara和Reutter、Juan和Vrgo\v{c}、Domagoj}，</trans><trans data-src="title =	{{Size Bounds and Algorithms for Conjunctive Regular Path Queries}},">title={{联合正则路径查询的大小界限和算法}}，</trans><trans data-src="booktitle =	{26th International Conference on Database Theory (ICDT 2023)},">booktitle={第26届数据库理论国际会议（ICDT 2023）}，</trans><trans data-src="pages =	{13:1--13:17},">页数={13:1--13:17}，</trans><trans data-src="series =	{Leibniz International Proceedings in Informatics (LIPIcs)},">series={Leibniz国际信息学论文集（LIPIcs）}，</trans><trans data-src="ISBN =	{978-3-95977-270-9},">国际标准图书编号={978-3-95977-270-9}，</trans><trans data-src="ISSN =	{1868-8969},">ISSN={1868-8969}，</trans><trans data-src="year =	{2023},">年份={2023}，</trans><trans data-src="volume =	{255},">体积={255}，</trans><trans data-src="editor =	{Geerts, Floris and Vandevoort, Brecht},">editor={Geerts、Floris和Vandevort、Brecht}，</trans><trans data-src="publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},">publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，</trans><trans data-src="address =	{Dagstuhl, Germany},">地址={Dagstuhl，德国}，</trans><trans data-src="URL =		{">URL={</trans><trans data-src="https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2023.13">https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2023.13</trans><trans data-src="},">},</trans><trans data-src="URN =		{urn:nbn:de:0030-drops-177552},">URN={URN:nbn:de:0030-drops-177552}，</trans><trans data-src="doi =		{10.4230/LIPIcs.ICDT.2023.13},">doi={10.4230/LIPIcs.ICDT.2023.13}，</trans><trans data-src="annote =	{Keywords: graph databases, regular path queries, worst-case optimal algorithms}">annote={关键词：图形数据库、常规路径查询、最坏情况下的优化算法}</trans><trans data-src="}">}</trans>

摘要

连接规则路径查询（CRPQ）是图数据库查询的核心类之一。它们是连接密集型的，从关系设置继承了它们的结构，但它们也允许任意长度的路径来连接要连接的点。然而，尽管它们很受欢迎，但对于处理CRPQ的最佳算法知之甚少。我们将重点放在最坏情况优化算法上，这些算法是在查询的最坏情况输出大小所限定的时间内运行的，最近已部署用于更简单的图形查询，结果非常有希望。我们证明了Atserias、Grohe和Marx对查询结果数量的著名界可以扩展到CRPQ，但要获得紧界，需要使用稍微更强的基数分布。我们还讨论了我们的分析所遵循的算法。如果为完全物化图查询付出代价，那么为连接查询开发的技术就可以重用。另一方面，如果对算法的工作记忆施加约束，则必须谨慎地调整最坏情况下的优化算法：处理查询的变量顺序可能会对查询的运行时间产生显著影响。

主题分类

ACM科目分类

信息系统→查询语言

关键词

图形数据库
常规路径查询
最坏情况下的优化算法

工具书类

伦佐·安格斯（Renzo Angles）、马塞洛·阿雷纳斯（Marcelo Arenas）、巴勃罗·巴塞洛（Pablo Barceló）、艾丹·霍根（Aidan Hogan）、胡安·勒乌特（Juan L.Reutter）和多马戈·弗尔戈（Domago。图形数据库现代查询语言基础。ACM计算。调查。，50(5):68:1-68:40, 2017.
迭戈·阿罗约洛（Diego Arroyuelo）、艾丹·霍根（Aidan Hogan）、冈萨洛·纳瓦罗（Gonzalo Navarro）、胡安·雷乌特（Juan L.Reutter）、贾维尔·罗哈斯·莱德斯马（Javiel Rojas-Ledesma）和阿德里安·索托。最坏情况下的最优图几乎没有空间连接。李国良、李占怀、斯特拉托斯·伊德雷奥斯和迪维什·斯里瓦斯塔瓦主编，SIGMOD‘21：数据管理国际会议，虚拟事件，中国，2021年6月20日至25日，第102-114页。ACM，2021年。
迭戈·阿罗约洛（Diego Arroyuelo）、艾丹·霍根（Aidan Hogan）、冈萨洛·纳瓦罗（Gonzalo Navarro）和贾维尔·罗哈斯·勒德斯马（Javiel Rojas-Ledesma）。图上的节省时间和空间的常规路径查询。arXiv预印本，2021年。网址：http://arxiv.org/abs/2111.04556.
阿尔伯特·阿塞里亚斯（Albert Atserias）、马丁·格罗（Martin Grohe）和达尼尔·马克思（Dániel Marx）。关系联接的大小边界和查询计划。SIAM J.计算。，42(4):1737-1767, 2013.
巴勃罗·巴切洛·贝扎（Pablo BarcelóBaeza）。查询图形数据库。第32届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会会议记录，2013年PODS，美国纽约州纽约市，2013年6月22日至27日，第175-188页，2013年。
安吉拉·博尼法蒂（Angela Bonifati）、维姆·马滕斯（Wim Martens）和托马斯·蒂姆（Thomas Timm）。大型SPARQL查询日志的分析研究。VLDB J.，29（2-3）：655-6792020年。
Katrin Casel和Markus L.Schmid。常规路径查询的细粒度复杂性。第24届数据库理论国际会议，2021年3月23日至26日，塞浦路斯尼科西亚，ICDT 2021，第19:1-19:20页。
Michael J.Freitag、Maximilian Bandle、Tobias Schmidt、Alfons Kemper和Thomas Neumann。在关系数据库系统中采用最坏情况下的最优联接。程序。荷兰VLDB。，13(11):1891-1904, 2020.
乔治·戈特洛布、斯蒂芬妮·蒂恩·李、格雷戈里·瓦利安和保罗·瓦利安特。连接查询的大小和树宽边界。J.ACM，59（3）：16:1-16:352012年。
艾丹·霍根、克里斯蒂安·里韦罗斯、卡洛斯·罗哈斯和阿德里安·索托。SPARQL最坏情况下的最优连接算法。2019年10月26日至30日在新西兰奥克兰举行的2019年第18届国际语义网络会议《语义网络-ISWC 2019》，第一部分，第258-275页。
托马斯·诺伊曼和格哈德·威库姆。Rdf-3x：用于Rdf的risc风格引擎。VLDB捐赠会议记录，1（1）：647-6592008。
托马斯·诺伊曼和格哈德·威库姆。用于rdf数据可扩展管理的rdf-3x引擎。VLDB杂志，19（1）：91-1132010。
洪奇·恩戈（Hung Q.Ngo）、克里斯托弗·雷（Christopher Ré）和阿特里·鲁德拉（Atri Rudra）。Skew反击：连接算法理论的新发展。SIGMOD记录，42（4）：2013年5月16日。
Dung Nguyen、Molham Aref、Martin Bravenboer、George Kollias、Hung Q Ngo、Christopher Ré和Atri Rudra。图形模式的连接处理：老狗有新把戏。《15年级学报》，第1-8页。ACM，2015年。
耶拿团队。TDB文件，2021年。网址：https://jena.apache.org/documentation/tdb/.
托德·维尔德胡赞（Todd L.Veldhuizen）。Triejoin：一个简单的、最坏情况下的最优连接算法。在Nicole Schweikardt、Vassilis Christophides和Vincent Leroy，编辑，Proc。第17届国际数据库理论会议（ICDT），希腊雅典，2014年3月24日至28日，第96-106页。OpenProceedings.org，2014年。
弗吉尼亚·瓦西列夫斯卡·威廉姆斯和R·瑞安·威廉姆斯。路径、矩阵和三角形问题之间的次三次等价。美国医学会杂志（JACM），65（5）：1-382018。
彼得·T·伍德。图形数据库的查询语言。SIGMOD记录，41（1）：50-60，2012年。

连接正则路径查询的大小界限和算法

作者塔玛拉·库米德斯, 胡安·雷特, Domagoj Vrgoč

文件

文件标识符

作者详细信息

引用为获取BibTex

摘要

主题分类

ACM科目分类

关键词

韵律学

工具书类

感谢您的反馈！

无法发送消息

连接正则路径查询的大小界限和算法

作者 塔玛拉·库米德斯, 胡安·雷特, Domagoj Vrgoč

文件

文件标识符

作者详细信息

基金

引用为获取BibTex

摘要

主题分类

ACM科目分类

关键词

韵律学

工具书类

感谢您的反馈！

无法发送消息

作者塔玛拉·库米德斯, 胡安·雷特, Domagoj Vrgoč