[論文レビュー] A Dichotomy on the Complexity of Consistent Query Answering for Atoms with Simple Keys

Paraschos Koutris, Dan Suciu|arXiv (Cornell University)|Dec 29, 2012

Advanced Database Systems and Queries参考文献 15被引用数 23

ひとこと要約

この論文は、自己結合を含まないブール型の連言的問い合わせ（CQA）の複雑さに関する二分法を確立する。各原子は単一属性キー（シンプルキー）またはすべての属性を含む複合キーのいずれかを持つ。著者らは、このクラスにおいて問題 CERTAINTY(Q) が PTIME にあるか coNP-完全であることを証明し、この設定における長年の予想を、問い合わせとキー制約のグラフベース構造的解析を用いて裏付ける。

ABSTRACT

We study the problem of consistent query answering under primary key violations. In this setting, the relations in a database violate the key constraints and we are interested in maximal subsets of the database that satisfy the constraints, which we call repairs. For a boolean query Q, the problem CERTAINTY(Q) asks whether every such repair satisfies the query or not; the problem is known to be always in coNP for conjunctive queries. However, there are queries for which it can be solved in polynomial time. It has been conjectured that there exists a dichotomy on the complexity of CERTAINTY(Q) for conjunctive queries: it is either in PTIME or coNP-complete. In this paper, we prove that the conjecture is indeed true for the case of conjunctive queries without self-joins, where each atom has as a key either a single attribute (simple key) or all attributes of the atom.

研究の動機と目的

• ブール型連言的問い合わせにおける CERTAINTY(Q) が PTIME または coNP-完全であるという長年の予想を解消すること。
• 主キー違反下での一貫性のある問い合わせの複雑度を分析すること。特に、自己結合を含まない問い合わせとシンプルキーまたは全属性キーを対象とする。
• CERTAINTY(Q) が tractable か intractable かを決定する問い合わせグラフ上の構造的条件を同定すること。
• 一階論理表現可能性と tractability に関する先行結果を、非アセイクルな設定における一貫性のある関係の概念を導入することで、より広いクラスの問い合わせへと拡張すること。

提案手法

• 変数を頂点とし、原子間の結合条件を辺とする有向問い合わせグラフ G[Q] を構築する。
• キー制約と問い合わせの構造に基づいて、変数上のラベル関数 L を定義する。これはキー属性から導かれる論理式を用いる。
• キー制約下での関係ペairの一貫性を特徴付けるために、(R,S)-有効ラベルの概念を導入する。
• 3-SAT への還元を用いて、ラベル付けが恒真矛盾を生じる場合には coNP-完全性を証明する。
• ラベル付けが一貫的かつ恒真でない式を生じる場合には、一階論理の再書き換え構成により CERTAINTY(Q) が PTIME に属することを証明する。
• 特定の関係ペアがキー制約下で一貫性のある関係として振る舞うという洞察を活用し、修理空間を単純化する。

実験結果

リサーチクエスチョン

• RQ1 自己結合を含まないブール型連言的問い合わせとシンプルキーまたは全属性キーを有する場合、CERTAINTY(Q) の複雑度に二分法が存在するか？
• RQ2 問い合わせグラフおよびキー制約の構造的条件下で、CERTAINTY(Q) が coNP-完全ではなく PTIME に属する条件は何か？
• RQ3 キー制約の存在が、複数の関係を効果的な一貫性のある関係へと統合し、修理空間を単純化できるか？
• RQ4 自己結合の不在とシンプルキーの使用により、CERTAINTY(Q) が PTIME と coNP-完全に完全に分類可能か？
• RQ5 変数上のラベル関数 L が、CERTAINTY(Q) の複雑度クラスをアルゴリズム的に決定するために使用可能か？

主な発見

• 自己結合を含まないブール型連言的問い合わせとシンプルキーまたは全属性キーを有する場合、CERTAINTY(Q) は PTIME または coNP-完全であり、このクラスにおける予想を裏付ける。
• 分類は、キー制約と結合構造に基づいて問い合わせの変数上に定義されたラベル関数 L の論理的一致性によって決定される。
• ラベル関数 L が恒真（例：⊥）に評価される場合、問題は coNP-完全である。それ以外の場合は PTIME に属する。
• 本論文では一貫性のある関係の概念を導入し、共有キー属性を持つ原子ペアが修理空間内で単一の一貫性のある関係として扱えることを示している。
• Q₁=R(x̲,y),S(y̲,z) のような問い合わせでは CERTAINTY(Q) は AC⁰ に属するが、Q₂=R(x̲,y),S(z̲,y) の場合は coNP-完全である。これは二分法を示している。
• 任意のアリティの関係に対しても、各原子が単一のキー属性を有するか、すべての属性をキーとする限り、結果は一般化可能である。