[論文レビュー] Counting Answers to Existential Positive Queries: A Complexity Classification

Hubie Chen, Stefan Mengel|arXiv (Cornell University)|Jan 13, 2016

Data Management and Algorithms参考文献 13被引用数 4

ひとこと要約

本稿は、有界な項数をもつ有限構造上の存在的正のクエリの答えを数える問題のパrameterized複雑性について、三つに分類する定理を確立する。著者たちは、数え上げ複雑性の観点から、存在的正のクエリを原始的正のクエリに還元する等価定理を証明することで、既存の結果を統一・一般化し、各問題が固定パrameterで tractable であるか、クリーク問題と同等であるか、あるいはクリークの数え上げと同程度に難しい—標準的な複雑性仮定のもとで—のいずれかであることを示している。

ABSTRACT

Existential positive formulas form a fragment of first-order logic that includes and is semantically equivalent to unions of conjunctive queries, one of the most important and well-studied classes of queries in database theory. We consider the complexity of counting the number of answers to existential positive formulas on finite structures and give a trichotomy theorem on query classes, in the setting of bounded arity. This theorem generalizes and unifies several known results on the complexity of conjunctive queries and unions of conjunctive queries.

研究の動機と目的

• 有界項数をもつ有限構造上の存在的正のクエリの満たす割り当てを数える問題のパrameterized複雑性を分類すること。
• 結合的クエリ、結合的クエリの和集合、および関連する数え上げ問題に関する既存の複雑性結果を統一・一般化すること。
• 特に意思決定支援システムにおける、数え上げを伴うデータベースクエリ評価の tractability を理解するための理論的基盤を確立すること。
• 原始的正のクエリに関する先行の二分法および三つに分類の結果を、より広いクラスの存在的正のクエリへと拡張すること。
• 数え上げを保存する還元を可能にする、原始的正の論理式間の数え上げ等価性の文法的特徴づけを提供すること。

提案手法

• 存在的正の論理式の「すべての自由変数を含む部分」の概念を導入し、その量化子なしで自由変数を含む成分を分離する。
• 各存在的正の論理式を、数え上げ複雑性を保存する原始的正の論理式の集合へ写像する変換を定義する。
• 「等価定理」（定理3.1）を証明し、任意の存在的正のクエリの集合に対して、それと同一の数え上げ複雑性をもつ原始的正のクエリの集合が存在することを示す。
• 数え上げスライス還元を用いて、存在的正の論理式の数え上げ問題と、それに対応する変換された原始的正の論理式との関係を確立する。
• 既存の原始的正のクエリに関する三つに分類定理（ブラックボックスとして）を活用し、存在的正のクエリに関する主な三つに分類を得る。
• 2つの原始的正の論理式がすべての有限構造上で数え上げ等価であるための文法的条件を適用し、ChandraとMerlinの古典的業績を数え上げの文脈へ一般化する。

実験結果

リサーチクエスチョン

• RQ1 有界項数をもつ有限構造上の存在的正のクエリの答えを数える問題のパrameterized複雑性は何か？
• RQ2 存在的正のクエリの答えの数え上げ複雑性は、一般に損なわれることなく、原始的正のクエリの複雑性に還元可能か？
• RQ3 2つの原始的正の論理式がすべての有限構造上で数え上げ等価であるための文法的条件は何か？
• RQ4 文の論理和（すなわち、量化子なしの文）の存在が、存在的正の論理式の数え上げ複雑性にどのように影響するか？
• RQ5 結合的クエリおよびその和集合に関する既存の二分法および三つに分類の結果を統一する一様な分類枠組みは存在するか？

主な発見

• 本稿は三つに分類定理を確立した：任意の有界項数をもつ存在的正のクエリの集合に対して、その数え上げ問題は固定パrameterで tractable であるか、クリーク問題と同等であるか、あるいはクリークの数え上げと同程度に難しい。
• 等価定理（定理3.1）により、任意の存在的正のクエリの集合が、それに対応する原始的正のクエリの集合と数え上げ複雑性において計算的に同等であることが示された。
• 原始的正の論理式間の数え上げ等価性は文法的に特徴づけられる：2つの論理式が数え上げ等価であるための必要十分条件は、同じ最小モデルの集合を共有し、特定の論理的含意条件を満たすことである。
• 存在的正の論理式から原始的正の論理式への変換は、すべての有限構造上で満たす割り当ての数を保存するため、複雑性の移行が可能である。
• 三つに分類の結果は、FPT ≠ W[1] という標準仮定のもとで成り立つため、このクラスにおける固定パrameter tractability が正確に特徴づけられることを示している。
• 有界項数の仮定は、三つに分類の結果にのみ必要であり、等価定理には不要であるため、原始的正のクエリに関する対応する数え上げ三つに分類が得られれば、無限項数への拡張が可能であると考えられる。