[論文レビュー] Query-Answer Causality in Databases: Abductive Diagnosis and View-Updates

Babak Salimi, Leopoldo Bertossi|arXiv (Cornell University)|Jun 13, 2015

Logic, Reasoning, and Knowledge参考文献 29被引用数 9

ひとこと要約

この論文は、データベースにおける照応クエリの因果関係、帰納的診断、およびビュー更新問題の間の形式的関係を確立し、Datalogおよび再帰的クエリにおける因果関係の新たな複雑性結果を可能にする。帰納的診断フレームワークを活用することで、因果関係を一次の単調クエリからより豊かなクエリクラスへと拡張し、弱線形クエリに対しては tractability を証明し、ビュー条件付き因果関係に対しては NP完全性を示している。

ABSTRACT

Causality has been recently introduced in databases, to model, characterize and possibly compute causes for query results (answers). Connections between query causality and consistency-based diagnosis and database repairs (wrt. integrity constrain violations) have been established in the literature. In this work we establish connections between query causality and abductive diagnosis and the view-update problem. The unveiled relationships allow us to obtain new complexity results for query causality -the main focus of our work- and also for the two other areas.

研究の動機と目的

• リレーショナルデータベースにおけるクエリ・アンサー因果関係と帰納的診断の間の形式的関係を確立すること。
• 帰納的推論を用いて、一次の単調クエリから Datalog および再帰的クエリへの因果関係分析を拡張すること。
• ビュー更新問題および診断問題と関連付けることにより、因果関係問題の新たな複雑性結果を導出すること。
• 弱線形クエリにおける最小ソース副作用問題の tractability を確立し、先行研究を一般化すること。
• 不確実で整合性のないデータにおけるより良い推論を可能にするために、因果関係、診断、ビュー更新を共通の理論的枠組みで統一すること。

提案手法

• Halpern-Pearl のモデルに基づく反事後的依存性を用いた、データベースにおける実際の因果関係の形式化。
• 原因をクエリの答えの帰納的説明として定式化することで、クエリ因果関係を帰納的診断にマッピングすること。
• 論理プログラミングにおける帰納的診断問題への因果関係問題の還元により、Datalog および再帰的クエリへの拡張を可能にすること。
• ビュー更新問題をブリッジとして活用：ビューの内容を説明する基本関係を帰納的に特定することで、副作用最小化を通じて因果関係と結びつけること。
• 複雑性理論的還元を用いる：ビュー条件付き因果関係の NP 完全性および責任計算の FP^NP(log n)-hardness を示すこと。
• 先行研究からの最大フロー還元を活用し、弱線形クエリにおける tractability を証明し、チェーンジョイン結果を一般化すること。

実験結果

リサーチクエスチョン

• RQ1 帰納的診断は、Datalog および再帰的クエリにおける因果関係の形式化と拡張にどのように利用可能か？
• RQ2 集合的クエリ（CQs）におけるビュー条件付き因果関係意思決定問題の複雑性は何か？
• RQ3 弱線形クエリにおいて最小ソース副作用問題は tractably 解けるか？ また、これは先行結果をどのように一般化するか？
• RQ4 データベースシステムにおけるクエリ因果関係、帰納的診断、ビュー更新問題の間の関係は何か？
• RQ5 整合性ベースの診断および修復に関する既存の複雑性結果は、因果関係およびビュー更新にどのように転送可能か？

主な発見

• ビュー条件付き因果関係意思決定問題（VC-causality）は、集合的クエリ（CQs）において NP 完全であり、ユニオン・オブ・集合的クエリ（UCQs）へと拡張可能である。
• 最小ソース副作用問題の解のサイズを計算することは FP^NP(log n)-hard であり、高い計算複雑性を示している。
• 弱線形クエリにおける最小ソース副作用意思決定問題は tractable であり、線形およびチェーンジョインクエリの先行 tractability 結果を一般化している。
• 弱線形クエリにおける tractability 結果は、線形クエリから最大フローに基づくアプローチをより広いクラス（チェーンジョインでないクエリを含む）へと拡張している。
• 本論文は、因果関係、帰納的診断、ビュー更新の間の形式的リンクを確立し、これらの分野間で複雑性結果の相互利用を可能にしている。
• Datalog クエリにおける因果関係は、帰納的診断を用いて形式化・分析可能であり、一次の卂数単調クエリを超えた因果関係のスコープを拡張している。