[論文レビュー] A Trichotomy in the Data Complexity of Certain Query Answering for Conjunctive Queries

Paraschos Koutris, Jef Wijsen|arXiv (Cornell University)|Jan 30, 2015

Data Management and Algorithms参考文献 18被引用数 3

ひとこと要約

この論文は、不確実なデータベースにおける自己結合を含まないブール型連言的問い合わせ（CERTAINTY(q)）について、有効な複雑性三分割を確立する。クエリのアタックグラフを分析することで、著者らは CERTAINTY(q) が FO、P∖FO、または coNP完全のいずれに属するかを決定する手続きを提示し、データ複雑性における10年間にわたる未解決問題を解決する。

ABSTRACT

A relational database is said to be uncertain if primary key constraints can possibly be violated. A repair (or possible world) of an uncertain database is obtained by selecting a maximal number of tuples without ever selecting two distinct tuples with the same primary key value. For any Boolean query q, CERTAINTY(q) is the problem that takes an uncertain database db on input, and asks whether q is true in every repair of db. The complexity of this problem has been particularly studied for q ranging over the class of self-join-free Boolean conjunctive queries. A research challenge is to determine, given q, whether CERTAINTY(q) belongs to complexity classes FO, P, or coNP-complete. In this paper, we combine existing techniques for studying the above complexity classification task. We show that for any self-join-free Boolean conjunctive query q, it can be decided whether or not CERTAINTY(q) is in FO. Further, for any self-join-free Boolean conjunctive query q, CERTAINTY(q) is either in P or coNP-complete, and the complexity dichotomy is effective. This settles a research question that has been open for ten years, since [9].

研究の動機と目的

• 自己結合を含まないブール型連言的問い合わせのデータ複雑性における CERTAINTY(q) の分類という長年の未解決問題を解決すること。
• CERTAINTY(q) が1階論理で表現可能（FO）か、 tractable（P∖FO）か、または非 tractable（coNP完全）かを特定すること。
• これらの3つの複雑性クラスを区別する、クエリ構造に基づく有効な意思決定手続きを提供すること。
• 従来の結果が非巡回クエリ、単純な主キー、または正確に2つの原子を含むクエリに限定されていたのを拡張すること。

提案手法

• 著者らは、ハーフローカリティの議論に代わるより強固な枠組みを用いる、1階論理で表現不可能性を扱う新しい複雑性理論的アプローチを導入する。
• クエリ原子に対して「溶かし込み（dissolve）」操作を適用することで、不確実なデータベースから変換されたデータベースへの還元を定義し、修理の間でクエリの真偽が保存されるようにする。
• この方法は、db の修理が q を満たすことが、db' の対応する修理が変換されたクエリ q* を満たすことにちょうど同値になるようなデータベース db' を構築することに依存する。
• クエリのアタックグラフが、複雑性の分類の構造的根拠として用いられ、グラフ内のサイクルと到達可能性が分類に影響を与える。
• 還元により、関連するサイクルの数が多項式的に有界であることが保証され、変換されたデータベースの計算が多項式時間で可能になる。
• 元のデータベースと変換されたデータベースの修理の間には一対一対応が存在し、特定の割り当てのもとでクエリの満たされ方が保存される。

実験結果

リサーチクエスチョン

• RQ1 任意の自己結合を含まないブール型連言的クエリ q に対して、CERTAINTY(q) が FO に属するかどうかを決定可能か？
• RQ2 すべてのこのようなクエリに対して、CERTAINTY(q) が P か coNP完全かを分類する有効な二分法は存在するか？
• RQ3 複雑性分類は、非巡回クエリや単純な主キーの制限を超えて拡張可能か？
• RQ4 CERTAINTY(q) 複雑性の構造的特徴付けは、決定可能かつ有効な形で存在するか？

主な発見

• 任意の自己結合を含まないブール型連言的クエリ q に対して、CERTAINTY(q) が FO に属するかどうかは決定可能であり、従来の研究が非巡回性の仮定を必要としていたという制限を解消する。
• CERTAINTY(q) が FO に属さない場合、L-hard であることが示され、ハーフローカリティではなく、複雑性理論的技法を用いたより強い表現不可能性の結果が得られる。
• すべての自己結合を含まないブール型連言的クエリについて、CERTAINTY(q) は P か coNP完全であり、この二分法は有効である。これは、従来の結果が単純な主キーに限定されていたのを拡張する。
• 複雑性三分割は有効である：クエリ q のアタックグラフに基づく手続きにより、CERTAINTY(q) の正確な複雑性クラスを特定可能である。
• db から db' への還元は、修理間でクエリの満たされ方を保存するため、多項式時間の還元が可能であり、修理間で論理的同値性が維持される。