[論文レビュー] Causes for Query Answers from Databases, Datalog Abduction and View-Updates: The Presence of Integrity Constraints

Babak Salimi, Leopoldo Bertossi|arXiv (Cornell University)|Feb 20, 2016

Logic, Reasoning, and Knowledge参考文献 19被引用数 6

ひとこと要約

本稿は、整合性制約（ICs）下でのリレーショナルデータベースにおける照応クエリ因果関係の形式的枠組みを導入する。Datalog帰納とビュー更新への接続を活用し、ICs下での因果関係が連言的クエリに対してNP完全であることを確立する。また、ICs下での帰納による得られる適切なビュー更新が、整合性と最小性を保証する有効な原因を特徴づけることを示す。

ABSTRACT

Causality has been recently introduced in databases, to model, characterize and possibly compute causes for query results (answers). Connections between queryanswer causality, consistency-based diagnosis, database repairs (wrt. integrity constraint violations), abductive diagnosis and the view-update problem have been established. In this work we further investigate connections between query-answer causality and abductive diagnosis and the view-update problem. In this context, we also define and investigate the notion of query-answer causality in the presence of integrity constraints.

研究の動機と目的

• 整合性制約（データベースインスタンスで維持されなければならない論理的依存関係）が存在する状況下でのクエリ・アンサー因果関係を形式化すること。
• 特にICs下で、帰納的診断とビュー更新問題と統合することで、データベースにおける因果関係理論を拡張すること。
• 計算された原因が整合性制約と整合的であることを保証し、無効または不整合な説明を回避すること。
• ICs下で適切なビュー更新（帰納による）が有効な原因に対応する計算フレームワークを提供し、最小かつ整合的な変更を保証すること。
• ICs下での因果関係の複雑さの境界を確立し、連言的クエリに対してNP完全性を示すこと。

提案手法

• すべての候補原因がデータベースインスタンスにおけるICsの満たし方を保つことを要件とする、整合性制約を組み込んだ因果関係の新しい概念を提案する。
• Datalog帰納を用いて、タプルを帰納可能な対象として扱い、クエリの答えに対する潜在的因果関係を帰納的説明としてモデル化する。
• ビュー更新問題の枠組みを用いて、クエリの答えを削除する削除操作をモデル化し、ICsによって制約を受ける更新を扱う。
• ICsの満たし方を維持しながらクエリの答えを削除する最小のタプル削除集合としての適切な更新を定義し、帰納を用いて計算する。
• 適切なビュー更新とICs下での有効な原因との間の対応関係を確立し、整合的かつ最小限の変更のみを考慮することを保証する。
• ICs下での因果関係問題を、既知の複雑さの結果を活用した削除伝搬問題に還元する。

実験結果

リサーチクエスチョン

• RQ1 整合性制約がデータベースで維持されなければならない場合、クエリの答えに対する因果関係はどのように定義できるか？
• RQ2 整合性制約が存在する状況下で、クエリの答えの原因を特定する計算の複雑さはどの程度か？
• RQ3 整合性制約は有効な原因の集合にどのように影響を与え、不整合または無効な説明を除外するためにどのように利用できるか？
• RQ4 ビュー更新問題と帰納的診断は、ICs下で原因を特徴づけ、計算するために利用できるか？
• RQ5 ICs下での適切なビュー更新と、クエリ・アンサー因果関係の文脈における実際の原因との関係は何か？

主な発見

• ICs下での因果関係は、連言的クエリに対してNP完全である。これは、因果関係の決定問題を既知のNP完全問題に還元することで示された。
• 提案された枠組みは、整合性制約の満たし方を保つ原因のみを考慮するため、不整合な説明を回避する。
• ICs下で帰納により計算された適切なビュー更新は、正確に有効かつ最小の原因に対応し、実際の原因への計算的道筋を提供する。
• 本フレームワークは、ICsを組み込むことで、ビュー条件付き因果関係（vc-causality）を一般化し、vc-causalityが特定の包含依存関係の集合における因果関係として捉えられることを示した。
• 因果関係と削除伝搬問題との関係は、ICsを含むように拡張され、ビュー更新の既存の複雑さとアルゴリズム的結果を因果関係推論に活用可能となった。
• 例5は、ICs下で有効な原因は1つ（t₁の削除）に限られ、代替案（t₄とt₈の削除）が制約に違反するため、フレームワークの整合性の強制が確認された。