[論文レビュー] The complexity of acyclic conjunctive queries revisited

Arnaud Durand, Étienne Grandjean|arXiv (Cornell University)|May 2, 2006

Advanced Graph Theory Research参考文献 22被引用数 5

ひとこと要約

本稿は、一元関数上の一次論理に基づく関数的クエリフレームワークを導入し、非巡回な連言的クエリの複雑さを分析する。さまざまなクエリバージョン—不等号、比較、ブール型または非ブール型を含む—が固定パrameter線形であることを証明しており、評価時間は $ f(|Q|) \cdot |\text{db}| \cdot |Q(\text{db})| $ で抑えられ、従来の境界を著しく改善し、かつて非 tractable とされたケースに対しても tractability を拡張する。

ABSTRACT

In this paper, we consider first-order logic over unary functions and study the complexity of the evaluation problem for conjunctive queries described by such kind of formulas. A natural notion of query acyclicity for this language is introduced and we study the complexity of a large number of variants or generalizations of acyclic query problems in that context (Boolean or not Boolean, with or without inequalities, comparisons, etc...). Our main results show that all those problems are extit{fixed-parameter linear} i.e. they can be evaluated in time $f(|Q|).| extbf{db}|.|Q( extbf{db})|$ where $|Q|$ is the size of the query $Q$, $| extbf{db}|$ the database size, $|Q( extbf{db})|$ is the size of the output and $f$ is some function whose value depends on the specific variant of the query problem (in some cases, $f$ is the identity function). Our results have two kinds of consequences. First, they can be easily translated in the relational (i.e., classical) setting. Previously known bounds for some query problems are improved and new tractable cases are then exhibited. Among others, as an immediate corollary, we improve a result of \~\cite{PapadimitriouY-99} by showing that any (relational) acyclic conjunctive query with inequalities can be evaluated in time $f(|Q|).| extbf{db}|.|Q( extbf{db})|$. A second consequence of our method is that it provides a very natural descriptive approach to the complexity of well-known algorithmic problems. A number of examples (such as acyclic subgraph problems, multidimensional matching, etc...) are considered for which new insights of their complexity are given.

研究の動機と目的

• リレーショナルクエリを一元関数上の関数的クエリに翻訳することで、非巡回連言的クエリの複雑さを統一的に分析するフレームワークを構築すること。
• 標準的な非巡回連言的クエリ（ACQ）の tractability 結果を、不等号（$\neq$）や比較（$<$）を含むより広範なクラスに拡張すること。
• これらの拡張クエリクラスが固定パrameter線形であることを示し、従来の指数的または多項式的境界を改善すること。
• 記述論理に基づくアプローチを提供し、多次元マッチングやヘイティングセットといった代表的なアルゴリズム的問題の複雑さを自然に捉えること。
• 木構造クエリにおける tractability の限界を特定し、制約充足問題や木構造データへの応用を検討すること。

提案手法

• 一次論理に基づく一元関数上の新しい関数的クエリクラスを導入し、翻訳に伴うクエリ構造の保持を保証するグラフ的非巡回性の概念を定義する。
• リレーショナル連言的クエリから同等の関数的クエリへの線形時間翻訳を構築し、非巡回性とクエリ意味を保持する。
• 関数的クエリフレームワークを適用し、固定パrameter線形複雑度を証明する：$ f(|Q|) \cdot |\text{db}| \cdot |Q(\text{db})| $、ここで $ f $ はクエリ構造に依存する。
• 最小限のサンプル構成と構造的解析を用いて、クエリ評価および列挙の複雑度を上限付ける。
• 既知のNP困難問題（例：多次元マッチング、一意ヘイティングセット）に対して、新しい特徴付けに基づき固定パrameter線形であることを示す。
• 連言的クエリと制約充足問題の対応関係を活用し、CSPや木構造データへの結果の拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 不等号を含む非巡回連言的クエリの複雑さは、従来の指数的または多項式的境界を超えて改善可能か？
• RQ2 不等号や比較を含む多様なクエリバージョンの tractability を統一的に捉える論理的フレームワークは存在するか？
• RQ3 非巡回クエリの固定パrameter線形複雑度は、有界木幅を持つより一般のクエリクラスへ拡張可能か？
• RQ4 多次元マッチングや一意ヘイティングセットといった標準的アルゴリズム的問題は、関数的連言的クエリの複雑さとどのように関係するか？
• RQ5 関数的クエリモデルを用いて、クエリ評価および列挙のための効率的かつ並列化可能なアルゴリズムを導出可能か？

主な発見

• 検討された非巡回連言的クエリのすべてのバージョン—ブール型または非ブール型、不等号や比較を含むか否かにかかわらず—が固定パrameter線形であり、評価時間は $ f(|Q|) \cdot |\text{db}| \cdot |Q(\text{db})| $ である。
• 非巡回クエリに不等号を含む $ \text{ACQ}^\neq $ の境界は、$ g(|Q|) \cdot |\text{db}| \cdot |Q(\text{db})| \cdot \log^2|\text{db}| $ から $ f(|Q|) \cdot |\text{db}| \cdot |Q(\text{db})| $ に改善され、一部の場合は $ f $ が恒等関数となる。
• 多次元マッチング、一意ヘイティングセット、アンチチェーン問題が、$ O_{r,k}(|M|) $ 時間で解けることが示され、完全ハッシュに基づく従来の境界を改善する。
• 本手法により、検討されたすべてのクエリクラスに対して線形遅延での結果列挙が可能となる。
• 関数的クエリフレームワークは、アルゴリズム的問題の複雑さを自然に捉える記述論理的アプローチを提供し、その tractability に関する新たな洞察をもたらす。
• リレーショナルクエリから関数的クエリへの翻訳は非巡回性を保持し、モデル間での複雑度結果の移行を可能にし、リレーショナルデータベースにおける新たな tractable ケースを実現する。