[論文レビュー] A Trichotomy in the Complexity of Counting Answers to Conjunctive Queries

Hubie Chen, Stefan Mengel|arXiv (Cornell University)|Aug 5, 2014

Data Management and Algorithms参考文献 15被引用数 7

ひとこと要約

本稿は、結合的クエリ（CQ）の答えの数え上げの複雑さについて三つに分類する定理を確立し、任意の有界項数の結合的クエリの集合に対して、問題が tractable であるか、パrameterized Clique 問題と同等であるか、またはパrameterized #Clique 問題と同等に難しいかのいずれかであることを示している。分類は、特にコアの木幅と自由変数のハイパーグラフの木幅というグラフ論的性質に基づいており、ブール型および量化子なしクエリに対する既存の二分法結果を統合する。

ABSTRACT

Conjunctive queries are basic and heavily studied database queries; in relational algebra, they are the select-project-join queries. In this article, we study the fundamental problem of counting, given a conjunctive query and a relational database, the number of answers to the query on the database. In particular, we study the complexity of this problem relative to sets of conjunctive queries. We present a trichotomy theorem, which shows essentially that this problem on a set of conjunctive queries is either tractable, equivalent to the parameterized CLIQUE problem, or as hard as the parameterized counting CLIQUE problem; the criteria describing which of these situations occurs is simply stated, in terms of graph-theoretic conditions.

研究の動機と目的

• すべての有界項数のクエリ集合における結合的クエリ（CQ）のパラメータ化された数え上げ複雑さを分類すること。
• ブール型および量化子なしCQの既存の二分法結果を、一つの包括的な三つに分類に統合・一般化すること。
• 正確なグラフ論的条件——特にクエリコアおよび自由変数のハイパーグラフの有界木幅——が、 tractability や hardness を決定することを同定すること。
• ケース複雑さフレームワークを数え上げ問題に拡張し、パラメータ化複雑さにおける透明な分析を可能にすること。
• 数え上げCQ問題の有界項数のケースを解決すること。未解決のまま残っているのは、項数が無限大のケースおよびより表現力の高いクエリ言語への拡張である。

提案手法

• 自由変数を考慮に入れた新しいクエリコアの概念を導入し、分類に不可欠である。
• 自由変数を頂点とし、関係をエッジとするハイパーグラフを定義し、構造的解析を可能にする。
• 木幅を中心的なグラフ論的測度として用い、複雑さを分類：コアの木幅が有界であれば tractable である。
• クエリ集合のハイパーグラフの木幅が無限大である場合、#Clique から #CQ への数え上げスライス還元を確立する。
• コアの木幅が無限大だがハイパーグラフの木幅が有界である場合、#CQ とパラメータ化Clique問題との間で相互還元性を証明する。
• 既知のホモモルフィズム数え上げおよびクエリ包含に関する結果を活用し、新フレームワークを既存の複雑さクラスと結びつける。

実験結果

リサーチクエスチョン

• RQ1 有界項数の下で、結合的クエリの答えの数え上げの完全な複雑さ分類は何か？
• RQ2 クエリコアの木幅と自由変数ハイパーグラフの木幅が、#CQの複雑さをどのように共同で決定するか？
• RQ3 ブール型および量化子なし結合的クエリの既存の二分法結果は、単一の三つに分類の下に統合可能か？
• RQ4 数え上げ複雑さを捉える自然なパラメータ化複雑さフレームワークは存在するか？
• RQ5 この分類は、より表現力の高いクエリ言語や項数が無限大の設定にどのような影響を及ぼすか？

主な発見

• 任意の有界項数の結合的クエリの集合に対する数え上げ問題 #CQ は、正確に三つの複雑さクラスのいずれかに属する：tractable、パラメータ化Clique問題と同等、またはパラメータ化#Clique問題と同等に難しい。
• コアのクエリがすべて有界木幅である場合に限り、tractability が成立する。
• コアが無限大木幅だが自由変数のハイパーグラフが有界木幅である場合、#CQ とパラメータ化Clique問題は相互に還元可能である。
• コアおよびハイパーグラフの両方が無限大木幅である場合、#Clique から #CQ への数え上げスライス還元が存在し、#Clique と同等の難易度であることを示唆する。
• この三つに分類定理は、Grohe（ブール型CQのため）およびDalmauとJonsson（量化子なしCQのため）の既存の二分法を一般化・包含する。
• このフレームワークは強固で拡張可能であり、パラメータ化複雑さにおける数え上げ複雑さの分析を透明に可能にする。