无环合取正则路径查询不比对应的合取查询更难
数据库
2026-03-17 v2
摘要
我们提出了一种用于评估无环合取正则路径查询（CRPQ）的输出敏感算法。其复杂度以输入大小、输出大小以及查询的一个著名参数（称为“free-connex fractional hypertree width”）来表示。我们的算法改进了最近引入的无环 CRPQ 输出敏感算法的复杂度。更值得注意的是，对于给定的无环 CRPQ Q，我们算法的复杂度与“对应”合取查询（CQ）的已知最佳输出敏感复杂度相匹配，该 CQ 与 CRPQ Q 具有相同的结构，只是每个 RPQ 被替换为一个二元原子（或两个二元原子的连接）。这意味着，如果不改进无环 CQ 输出敏感评估的最先进水平，就不可能改进我们针对无环 CRPQ 的复杂度。我们的结果令人惊讶，因为 RPQ 及其扩展 CRPQ 等价于递归 Datalog 程序，而从复杂度的角度来看，递归 Datalog 程序通常难以理解。然而，我们的结果意味着，至少在输出敏感分析方面，无环 CRPQ 的递归特性并没有在对应的（非递归）CQ 之上增加任何额外的复杂度。
引用
@article{arxiv.2512.11129,
title = {Acyclic Conjunctive Regular Path Queries are no Harder than Corresponding Conjunctive Queries},
author = {Mahmoud Abo Khamis and Alexandru-Mihai Hurjui and Ahmet Kara and Dan Olteanu and Dan Suciu},
journal= {arXiv preprint arXiv:2512.11129},
year = {2026}
}