[論文レビュー] A Simple Algorithm for Consistent Query Answering Under Primary Keys

Diego Figueira, Anantha Padmanabha+2 more|arXiv (Cornell University)|Jan 1, 2023

Advanced Database Systems and Queries被引用数 2

ひとこと要約

本稿では、主キー制約下での一貫性のあるクエリ回答（CQA）のための単純なインフレーション型不動点アルゴリズムを提示する。このアルゴリズムは、反復的にサイズkまでの事実集合を拡張することで、ブール型の結合的クエリが不整合データベース上で確定しているかどうかを、多項式時間で効率的に特定する。このアルゴリズムは、自己結合を含まないクエリおよびパス型クエリに対して正しく動作し、クエリの確定性が一階論理で定義可能である場合にかつその場合にのみ有界である。

ABSTRACT

We consider the dichotomy conjecture for consistent query answering under primary key constraints. It states that, for every fixed Boolean conjunctive query q, testing whether q is certain (i.e. whether it evaluates to true over all repairs of a given inconsistent database) is either polynomial time or coNP-complete. This conjecture has been verified for self-join-free and path queries. We propose a simple inflationary fixpoint algorithm for consistent query answering which, for a given database, naively computes a set $Δ$ of subsets of facts of the database of size at most k, where k is the size of the query q. The algorithm runs in polynomial time and can be formally defined as: (1) Initialize $Δ$ with all sets $S$ of at most $k$ facts such that $S\models q$. (2) Add any set $S$ of at most k facts to $Δ$ if there exists a block $B$ (i.e., a maximal set of facts sharing the same key) such that for every fact $a \in B$ there is a set $S' \subseteq S \cup \{a\}$ such that $S'\in Δ$. For an input database $D$, the algorithm answers "q is certain" iff $Δ$ eventually contains the empty set. The algorithm correctly computes certainty when the query q falls in the polynomial time cases of the known dichotomies for self-join-free queries and path queries. For arbitrary Boolean conjunctive queries, the algorithm is an under-approximation: the query is guaranteed to be certain if the algorithm claims so. However, there are polynomial time certain queries (with self-joins) which are not identified as such by the algorithm.

研究の動機と目的

• 主キー制約下での一貫性のあるクエリ回答の未解決の二分法予想に取り組むこと。この予想は、問題がPに属するか、またはcoNP完全であると述べている。
• tractable な結合的クエリクラスに対して、正しい答えを効率的に計算する単純で効率的なアルゴリズムを設計すること。
• アルゴリズムの下位近似が正確になる条件、特に一階論理での定義可能性との関係を同定すること。
• 非ブール型および定数を含むクエリにこのアルゴリズムを拡張し、多項式時間の複雑さを維持すること。
• 衝突ハイパーグラフを介して、他の制約タイプへ一般化可能な統一的な枠組みを提供すること。

提案手法

• クエリ q のサイズ k 以下の事実の部分集合 S で、S |= q を満たすものすべてを含む集合 ∆ を初期化する。ここで k はクエリ q のサイズである。
• 繰り返し、あるブロック B（同じキーを持つ事実）に対して、B に属するすべての事実 a について、S ∪ {a} の部分集合 S′ がすでに ∆ に含まれるような、k 以下の事実集合 S を ∆ に追加する。
• 新たな集合が追加できなくなった時点でアルゴリズムは終了する。クエリが確定しているかどうかは、空集合 ∅ が ∆ に含まれるかどうかで判定される。
• アルゴリズムは多項式時間で動作し、インフレーション型不動点プロセスとして形式的に定義される。
• 非ブール型クエリの場合、各候補答え ¯a について、∆(q, D, ¯a) が ∅ を含むかどうかをチェックする。
• 定数を含めるために、その解釈を固定し、自由変数が残らなくなった場合は反復回数を1回に削減することで、アルゴリズムを適合させることができる。

実験結果

リサーチクエスチョン

• RQ1 提案された不動点アルゴリズムが、どの結合的クエリクラスに対してすべての確定的答えを正しく計算できるか。
• RQ2 アルゴリズムの下位近似が正確になる条件とは何か。すなわち、すべての確定的クエリを正しく特定できる条件は何か。
• RQ3 結合的クエリの確定性がいつ一階論理で定義可能であり、それが不動点アルゴリズムの有界性とどのように関係するか。
• RQ4 主キー以外の種類の整合性制約に、このアルゴリズムを一般化できるか。
• RQ5 このアルゴリズムの簡略化された変種を用いることで、自己結合を含まないクエリに対して、より低い計算複雑度（例：LogSpace）を達成できるか。

主な発見

• アルゴリズムは、既知の二分法に基づいて tractable な自己結合を含まない結合的クエリすべてに対して、確定性を正しく計算する。具体的には、PCond 条件を満たすクエリがこれに該当する。
• パス型クエリの場合、クエリが tractable である限り、アルゴリズムはすべての確定的クエリを正しく特定する。また、アルゴリズムの有界性は、クエリの確定性が一階論理で定義可能であることに正確に対応する。
• 一般の結合的クエリに対して、このアルゴリズムは下位近似である。すなわち、出力が「確定」となれば、実際に確定しているが、自己結合を含む多項式時間で確定するクエリを一部見逃す可能性がある。
• 不動点アルゴリズムが有界（すなわち、データベースサイズに依存しない有限ステップで終了する）であるのは、クエリの確定性が一階論理で定義可能である場合にかつその場合にのみである。
• アルゴリズムは非ブール型クエリおよび定数を含むクエリへ拡張可能であり、データ複雑度において多項式時間の複雑さを維持する。
• 衝突ハイパーグラフの一般化は、アルゴリズムの構造が、否定制約やキー制約など、他の制約タイプへ自然に拡張可能であることを示唆している。