[論文レビュー] Believe It or Not: Adding Belief Annotations to Databases

Wolfgang Gatterbauer, Magdalena Bałazińska+2 more|arXiv (Cornell University)|Dec 30, 2009

Logic, Reasoning, and Knowledge参考文献 33被引用数 10

ひとこと要約

この論文は、タプルや他の注釈についての信念文を注釈としてデータに付加できる、信念データベースと呼ばれる新しいデータベースモデルを導入する。これにより、共同での科学的データキュレーションにおける対立する意見の構造的表現が可能になる。信念の意味論は、複数エージェントの知識論的論理の断片を用いて形式化され、信念データベースは標準的なKripke構造として符号化され、信念クエリを標準SQLに多項式時間で変換する。これにより、標準的なRDBMS上で効率的なクエリ処理が可能になる。

ABSTRACT

We propose a database model that allows users to annotate data with belief statements. Our motivation comes from scientific database applications where a community of users is working together to assemble, revise, and curate a shared data repository. As the community accumulates knowledge and the database content evolves over time, it may contain conflicting information and members can disagree on the information it should store. For example, Alice may believe that a tuple should be in the database, whereas Bob disagrees. He may also insert the reason why he thinks Alice believes the tuple should be in the database, and explain what he thinks the correct tuple should be instead. We propose a formal model for Belief Databases that interprets users' annotations as belief statements. These annotations can refer both to the base data and to other annotations. We give a formal semantics based on a fragment of multi-agent epistemic logic and define a query language over belief databases. We then prove a key technical result, stating that every belief database can be encoded as a canonical Kripke structure. We use this structure to describe a relational representation of belief databases, and give an algorithm for translating queries over the belief database into standard relational queries. Finally, we report early experimental results with our prototype implementation on synthetic data.

研究の動機と目的

• 科学的データベースにおける注釈の形式的意味論の欠如に取り組む。ここでは、ユーザーがデータの正しさについてしばしば意見が異なる。
• 単なるメタデータや修正を超えて、他のユーザーの信念についての注釈（高階の注釈）をサポートする。
• 共有データベース内での対立する事実や意見に関する構造的ディスコースを可能にし、すべての信念状態を保持する。
• 標準的なリレーショナルDBMS上で、標準的なKripke構造を用いて信念クエリを実装し、実用的かつ効率的な処理を提供する。
• 複数の専門家がデータエントリについて対立する見解を持つ可能性がある、生物多様性マッピングなどの科学的応用分野における共同キュレーションを支援する。

提案手法

• タプルや他の注釈に対する信念注釈を追加する、リレーショナルデータベースを拡張した信念データベースモデルを提案する。
• 信念世界およびそれらの関係を表現するため、複数エージェントの知識論的論理の断片を用いて形式的意味論を定義する。
• 任意の信念データベースに対して、一意的かつ多項式サイズの代表的Kripke構造を構築する。
• 信念の結合的クエリを非再帰的Datalog（したがって標準SQLに等価）に変換し、標準的なRDBMS上で実行可能にする。
• 標準的なKripke構造に基づいて、信念データベースを表現するリレーショナルスキーマを設計し、ストレージおよびクエリ処理を可能にする。
• プロトタイプBDMSを実装し、合成データを用いた実験によりアプローチの有効性を検証する。

実験結果

リサーチクエスチョン

• RQ1 信念注釈は、共同データベースにおける対立する意見や高階の信念（他のユーザーの信念に関する信念）を形式的にどのようにモデル化できるか？
• RQ2 信念データベースは、意味論を保持し、効率的なクエリ処理を可能にする代表的Kripke構造に符号化可能か？
• RQ3 信念クエリを正しくかつ効率的に保ちつつ、標準SQLに変換することは可能か？
• RQ4 提案されたモデルは、共同での科学的データ環境における現実的なワークロード下でスケーリングおよび性能を発揮するか？
• RQ5 標準RDBMS内で、信念注釈の挿入、削除、または変更といった動的更新をモデルはサポートできるか？

主な発見

• 論文は、すべての信念データベースが多項式時間内で代表的Kripke構造に符号化できることを証明しており、信念意味論の健全かつ完全な表現を提供する。
• 信念の結合的クエリは非再帰的Datalogに変換可能であり、これは標準SQLと等価であるため、既存のRDBMS上で変更なしに実行可能である。
• プロトタイプ実装は、信念クエリをSQLに正しく変換し、合成データ上で効率的に処理できることを示しており、実現可能性が裏付けられた。
• モデルは、信念注釈の任意のネスト深さ（他のユーザーの信念に関する信念を含む）をサポートしており、豊富で構造的なディスコースを可能にする。
• 否定を原子的タプルに制限することで、完全なモーダル論理推論の複雑さを回避し、クエリ評価がPTIMEで保証される。
• リレーショナル表現により、信念注釈に対する挿入、削除、更新操作を完全にサポートでき、実世界の共同キュレーションに実用的である。