[論文レビュー] Boundedness of Conjunctive Regular Path Queries

Pablo Barceló, Diego Figueira+1 more|arXiv (Cornell University)|Apr 1, 2019

semigroups and automata theory参考文献 21被引用数 7

ひとこと要約

この論文は、逆付きの結合的正則パス照合クエリの和（UC2RPQs）の有界性問題がExpSpace完全であることを確立し、ユニオン・コンジュンクティブ・クエリ（UCQs）と同値であることを示している。有界なUC2RPQは、高々三重指数的サイズのUCQに再書き換え可能であり、この上限は最適である。結果は、厚さが有界な非循環UC2RPQ（PSpace完全）および強い連結性を持つUCRPQ（Π₂^P完全）に拡張され、交差と二方向性を備えた距離オートマトンの新規拡張が用いられている。

ABSTRACT

We study the boundedness problem for unions of conjunctive regular path queries with inverses (UC2RPQs). This is the problem of, given a UC2RPQ, checking whether it is equivalent to a union of conjunctive queries (UCQ). We show the problem to be ExpSpace-complete, thus coinciding with the complexity of containment for UC2RPQs. As a corollary, when a UC2RPQ is bounded, it is equivalent to a UCQ of at most triple-exponential size, and in fact we show that this bound is optimal. We also study better behaved classes of UC2RPQs, namely acyclic UC2RPQs of bounded thickness, and strongly connected UCRPQs, whose boundedness problem are, respectively, PSpace-complete and $Π^p_2$-complete. Most upper bounds exploit results on limitedness for distance automata, in particular extending the model with alternation and two-wayness, which may be of independent interest.

研究の動機と目的

• 逆付きの結合的正則パス照合クエリの和（UC2RPQs）の有界性問題の計算複雑性を特定すること。
• UC2RPQがユニオン・コンジュンクティブ・クエリ（UCQ）と同値であるかどうかを確立すること。これは、データベースクエリ処理における重要な最適化タスクである。
• 有界な厚さを持つ非循環UC2RPQや強い連結性を持つUCRPQなど、制限されたクラスの有界性を分析すること。
• 上界を証明するために、交差性と二方向性を備えた距離オートマトンの拡張を構築・適用すること。
• 有界なUC2RPQのUCQ再書き換えに、タイトな複雑さの境界と最適なサイズ推定を提供すること。

提案手法

• 既知の決定可能性結果を活用して、UC2RPQの有界性問題を木上のコストオートマトンの限界問題に還元する。
• パス照合をモデル化し、一様コスト境界を通じて有界性を捉えるために、二方向的かつ交差的拡張を施した距離オートマトンを導入する。
• ホモモーティズムに基づく還元と拡張技術を用いて、クエリ拡張と有界性条件との関係を関係づける。
• 論理的およびオートマトン理論的構成を適用して上界を証明し、特にUCQ再書き換えの三重指数的サイズ上界を含む。
• 既知の難問（例：完全なクリークに関するΠ₂^P完全問題）からの還元を用いて、制限されたクラスの下界を証明する。
• 強連結成分の構造とサイクル解析を活用して、特殊なUC2RPQサブクラスの複雑さ結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 UC2RPQが有界である、すなわちUCQと同値であるかどうかをチェックする計算複雑性は何か？
• RQ2 有界なUC2RPQは、有限で、最適に制限されたサイズのUCQに再書き換え可能か？
• RQ3 有界な厚さを持つ非循環または強い連結性を持つクエリのような制限されたクラスのUC2RPQでは、有界性問題はどのように振る舞うか？
• RQ4 コストオートマトンの限界問題は、交差性と二方向性を拡張することで、再帰的クエリ言語における有界性を捉えることができるか？
• RQ5 有界な厚さを持つ非循環UC2RPQおよび強い連結性を持つUCRPQの有界性問題の正確な複雑さは何か？

主な発見

• UC2RPQの有界性問題はExpSpace完全であり、UC2RPQの包含関係の複雑さと一致する。
• すべての有界なUC2RPQは、高々三重指数的サイズのUCQと同値であり、この上限は最適である。
• 有界な厚さを持つ非循環UC2RPQでは、有界性問題はPSpace完全である。
• 強い連結性を持つUCRPQでは、有界性問題はΠ₂^P完全である。
• 証明技法は、交差性と二方向性を備えた距離オートマトンを拡張するものであり、オートマトン理論において独立した関心を引く可能性がある。
• 主な技術的貢献として、特に強連結成分において、クエリ拡張と有界性を関係づけるホモモーティズムに基づく拡張的議論の使用がある。