[論文レビュー] Unifying Causality, Diagnosis, Repairs and View-Updates in Databases

Leopoldo Bertossi, Babak Salimi|arXiv (Cornell University)|May 16, 2014

Logic, Reasoning, and Knowledge参考文献 26被引用数 5

ひとこと要約

本稿では、実際の原因が一貫性ベースまたは帰納的枠組みにおける診断として計算可能であり、修理が原因から導出可能であることを示すことにより、クエリ結果の因果関係、データベースの修復、モデルベース診断、ビュー更新を統一する。主な貢献は、因果関係と診断問題の間の形式的同等性を確立し、データ管理と知識表現の分野間で技術の相互浸透を可能にすることにある。

ABSTRACT

In this work we establish and point out connections between the notion of query-answer causality in databases and database repairs, model-based diagnosis in its consistency-based and abductive versions, and database updates through views. The mutual relationships among these areas of data management and knowledge representation shed light on each of them and help to share notions and results they have in common. In one way or another, these are all approaches to uncertainty management, which becomes even more relevant in the context of big data that have to be made sense of.

研究の動機と目的

• クエリ結果における因果関係とデータベースの修復、モデルベース診断、ビュー更新との間の形式的関係を確立すること。
• 結合的クエリ結果の実際の原因が、一貫性ベースまたは帰納的診断フレームワークにおいて診断として計算可能であることを示すこと。
• 否認制約下での修復が因果的推論から導出可能であり、逆に因果的推論から修復が導出可能であることを示すこと。
• 因果関係、診断、修復計算の間でアルゴリズムと複雑性結果を移転可能にする。
• 特に大規模データ環境において、不確実性管理のための統一的理論的基盤を提供すること。

提案手法

• 反事後的および実際の原因とコンtingency集合を用いて、因果関係を形式化し、原因を内生的タプルに制限する。
• データベースをシステム仕様とし、クエリ結果を観測とみなすことにより、実際の原因の計算問題を一貫性ベース診断に還元する。
• 帰納的診断を適用して、原因を最小限の仮説集合（例：タプルの挿入／削除）として特徴づけ、クエリ結果を説明する。
• 帰納的フレームワークを用いて、責任（responsibility）を最小診断集合の数の逆数として計算し、相対的な因果的強度を反映する。
• 否認制約下での部分集合ベースおよび基数ベースの修復と、因果関係計算との間の還元を確立する。
• 特に機密保持設定において、答え集合プログラミング（ASP）と論理的形式化を用いて修復およびビュー更新をモデル化・計算する。

実験結果

リサーチクエスチョン

• RQ1 結合的クエリ結果の実際の原因を、モデルベース診断を用いて形式的にどのように特徴づけられるか。
• RQ2 否認制約下でのクエリ結果における因果関係とデータベース修復との正確な関係は何か。
• RQ3 帰納的診断は、一貫性のある枠組み内で原因とその責任を統一的に計算可能か。
• RQ4 ビュー更新は、整合性制約違反の文脈において、因果関係と修復とどのように関係するか。
• RQ5 診断と修復の技術は、大規模データベースにおける因果関係計算の改善にどの程度転用可能か。

主な発見

• 結合的クエリ結果の実際の原因は、データベースをシステム仕様、クエリ結果を観測とする一貫性ベース診断フレームワークにおいて、最小診断に正確に対応する。
• タプルが実際の原因としての責任は、そのタプルを含む最小診断集合の数の逆数に比例する。各最小診断集合は、コンティンジェンシー集合に対応する。
• クエリ ans ← R(x,y), S(y) の例では、2つの最小診断が存在する：{S(a₁), R(a₂,a₁)} および {S(a₃), R(a₃,a₃)}。各集合のサイズは2であるため、各実際の原因の責任は 1/2 である。
• 実際の原因とその責任の計算は診断問題に還元可能であり、逆に診断問題も同様に還元可能である。これにより、共通のアルゴリズムと複雑性結果の共有が可能になる。
• 特に削除伝搬を伴うビュー更新は、因果関係と修復と正式に関連しており、特にビューが整合性制約違反を捉えている場合に顕著である。
• 否認制約下でのデータベース修復は因果的推論によって計算可能であり、逆に因果的推論も修復計算に還元可能である。これにより、双方向の同等性が確立される。