[論文レビュー] Complexity of Evaluating GQL Queries

Diego Figueira, Anthony W. Lin+1 more|arXiv (Cornell University)|Jul 9, 2024

Data Mining Algorithms and Applications被引用数 1

ひとこと要約

この論文は、プロパティグラフデータベース用の標準クエリ言語であるGQLの正確なデータ複雑性を確立する。一般のGQL評価がPNP[log]-完全であることを証明する一方で、制限子を含まない断片はNL-完全であることを示し、2階論理への埋め込みと埋め込み有限モデル理論を用いて、リレーショナルクエリ複雑性からの結果を統合・拡張する。

ABSTRACT

GQL has recently emerged as the standard query language over graph databases, particularly, property graphs. Indeed, this is analogous to the role of SQL for relational databases. Unlike SQL, however, fundamental problems regarding GQL are still unsolved, most notably the complexity of query evaluation. In this paper we provide a complete solution to this problem for the core fragment of GQL and for its extension with path restrictors. In particular, we show that the data complexity of these fragments is P^NP[log]-complete in general, and drops to NL-complete when restrictors are disallowed. Using techniques from embedded finite model theory, we show that this is true, even when the queries use data from infinite concrete domains such as real numbers with arithmetic. In proving these results, we establish and exploit tight connections between GQL and query languages over relational databases, especially extensions of relational calculus with transitive closure operators and fragments of second-order logic.

研究の動機と目的

• プロパティグラフ用の標準クエリ言語であるGQLの正確なデータ複雑性を特定すること。
• SQLのよく理解された複雑性と類似する、GQLの理論的理解における根本的なギャップを埋めること。
• 実数と算術を含む無限ドメインへの複雑性結果の拡張を可能にし、複雑性境界を維持すること。
• GQLとリレーショナルクエリ言語（特に推移的閉包を備えたもの）との間の関係を確立すること。
• 論理的埋め込みが、グラフおよびリレーショナルクエリモデル間の複雑性分析を統一・簡素化できることを示すこと。

提案手法

• GQLを2階論理の断片および推移的閉包付きリレーショナル記述計算の断片に埋め込み、複雑性を分析する。
• 埋め込み有限モデル理論の技術を用いて、無限ドメインへの拡張時におけるデータ複雑性を維持する。
• GQLクエリを既知の論理断片に還元し、逆にそれらをGQLに還元することで、タイトな複雑性境界を証明する。
• 制限子（GQLの複雑性を高める構成要素）の影響を分析し、その除去が複雑性をNLにまで低下させることを示す。
• リレーショナルデータベースからの既知の複雑性結果を活用し、論理的同値性を通じてGQLの境界を推論する。
• 実数上の算術を含む場合でも、制限子の有無に応じて複雑性がPNP[log]またはNLの範囲内に留まることを示す。

実験結果

リサーチクエスチョン

• RQ1 プロパティグラフ上のGQLクエリの評価におけるデータ複雑性は何か？
• RQ2 制限子の存在がGQL評価の複雑性に与える影響は何か？
• RQ3 GQLの複雑性結果は、実数と算術を含む無限データドメインへ拡張可能か？
• RQ4 どの論理断片がGQLに対応し、それらは推移的閉包付きリレーショナルクエリ言語とどのように関係するか？
• RQ5 論理的埋め込みは、グラフクエリ複雑性分析をどの程度簡素化できるか？

主な発見

• 一般のGQL評価のデータ複雑性はPNP[log]-完全であり、タイトな上界および下界が確立される。
• 制限子が許可されない場合、GQLのデータ複雑性はNL-完全に低下し、リレーショナルデータベースにおける標準的パスクエリの複雑性と一致する。
• クエリに無限ドメイン（例：実数と算術）を含んでも、結果は同じ複雑性クラスに保たれる。
• 本論文は、GQLと2階論理の断片およびリレーショナル記述計算の推移的閉包拡張との間のタイトな論理的対応関係を確立する。
• 埋め込み有限モデル理論の使用により、リレーショナルおよびグラフクエリ言語（無限ドメインを含む）における複雑性の均一な取り扱いが可能になる。
• 論理的埋め込みフレームワークにより、ネイティブなGQLの表現力を超えるメタクエリ機能（例：スキーマの検査やプロパティの比較）が可能になりながら、複雑性境界を維持できる。