[論文レビュー] Characterizing and Computing Causes for Query Answers in Databases from Database Repairs and Repair Programs

Leopoldo Bertossi|arXiv (Cornell University)|Dec 4, 2017

Logic, Reasoning, and Knowledge参考文献 23被引用数 3

ひとこと要約

本稿では、否認制約下でのタプルレベルおよび属性レベルの修復をモデル化するための答え集合プログラム（ASP）を活用して、データベースにおけるクエリ回答の原因を計算するための新しいフレームワークを提案する。原因の説明とデータベースの修復の間の形式的対応関係を確立することで、修復プログラムを通じた一貫した原因の計算と推論が可能になる。

ABSTRACT

A correspondence between database tuples as causes for query answers in databases and tuple-based repairs of inconsistent databases with respect to denial constraints has already been established. In this work, answer-set programs that specify repairs of databases are used as a basis for solving computational and reasoning problems about causes. Here, causes are also introduced at the attribute level by appealing to a both null-based and attribute-based repair semantics. The corresponding repair programs are presented, and they are used as a basis for computation and reasoning about attribute-level causes.

研究の動機と目的

• クエリ回答の原因とデータベースの修復の関係を形式化し、従来の研究を拡張して属性レベルの因果関係を含める。
• 従来の因果推論がデータ違反によって複雑化される不整合データベースにおける原因の計算という課題に取り組む。
• 否認制約に基づく修復意味論に根ざした、タプルベースおよび属性ベースの因果関係を両方サポートする統一フレームワークを構築する。
• 修復プロセスを答え集合プログラムとしてエンコードすることで、原因の実用的計算と推論を可能にする。
• タプルを超えて個々の属性にまで因果分析の範囲を拡大することで、クエリ結果の説明の精度を向上させる。

提案手法

• 否認制約を用いてデータベースの不整合をモデル化し、整合性を回復させる最小のタプルまたは属性更新の集合として修復を定義する。
• ヌル値ベースと属性ベースの修復意味論を統合することで、属性粒度での原因を定義し、因果的説明を属性レベルで可能にする。
• 修復プロセスをエンコードする答え集合プログラム（ASPs）を構築し、可能な修復の上での自動推論を可能にする。
• ASPソルバーを用いて、与えられたクエリ回答が成立する理由を説明する最小の変更集合（修復）を計算する。
• タプル更新と属性更新を1つの修復プログラムに統合し、異なるデータレベルでの原因の共同推論を可能にする。
• ASPの安定モデル意味論を活用して、論理的推論を通じて原因の健全かつ完全な計算を保証する。

実験結果

リサーチクエスチョン

• RQ1 否認制約下で不整合なデータベースにおいて、クエリ回答の原因を属性レベルで形式的に特徴づける方法は何か？
• RQ2 データベースの修復とクエリ回答の因果的説明の間にはどのような関係があるか？
• RQ3 答え集合プログラミングは、否認制約が存在する状況で原因の計算と推論にどのように利用できるか？
• RQ4 ヌル値ベースと属性ベースの修復意味論を組み合わせることで、因果の精度にどのような影響を与えるか？
• RQ5 修復プログラムは、実際の現場でクエリ回答の最小原因を効果的に計算するために有効に使えるか？

主な発見

• 否認制約下での不整合データベースの修復とクエリ回答の原因との間に、形式的な対応関係が確立された。
• 修復意味論と属性レベルの因果関係を統合することで、タプルレベルの因果関係のみに依存する場合よりも、より細粒度の説明が可能になる。
• 答え集合プログラムは、修復プロセスを論理的規則としてエンコードすることで、原因の計算にスケーラブルかつ健全な基盤を提供する。
• 提案されたフレームワークは、ASPソルバーを用いて最小および完全な原因の計算をサポートしており、実用的導入を可能にする。
• ヌル値ベースと属性ベースの修復意味論の組み合わせにより、より表現力があり正確な因果的推論が可能になる。
• 手動によるアノテーションやヒューリスティックな仮定を一切必要とせず、系統的な原因の推論が可能になる。