[論文レビュー] Semantically Correct Query Answers in the Presence of Null Values

Loreto Bravo, Leopoldo Bertossi|ArXiv.org|Apr 19, 2006

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

ひとこと要約

本稿は、null値を含むデータベースにおける一貫性のあるクエリ回答（CQA）のための新しい意味論を提案する。この意味論では、参照整合性を回復するためにnull値を用いた修復が行われるが、無限の不整合サイクルを生じさせない。修復を非決定的論理プログラムの安定モデルとしてモデル化することにより、普遍的制約、外部キー制約、NOT NULL制約（循環的ケースを含む）に対してもCQAの決定可能性を確立し、商用DBMSと互換性を持たせつつ、タイトな複雑さの上限を満たす効率的なクエリ評価を可能にする。

ABSTRACT

For several reasons a database may not satisfy a given set of integrity constraints(ICs), but most likely most of the information in it is still consistent with those ICs; and could be retrieved when queries are answered. Consistent answers to queries wrt a set of ICs have been characterized as answers that can be obtained from every possible minimally repaired consistent version of the original database. In this paper we consider databases that contain null values and are also repaired, if necessary, using null values. For this purpose, we propose first a precise semantics for IC satisfaction in a database with null values that is compatible with the way null values are treated in commercial database management systems. Next, a precise notion of repair is introduced that privileges the introduction of null values when repairing foreign key constraints, in such a way that these new values do not create an infinite cycle of new inconsistencies. Finally, we analyze how to specify this kind of repairs of a database that contains null values using disjunctive logic programs with stable model semantics.

研究の動機と目的

• null値を含むデータベースにおける一貫性のあるクエリ回答（CQA）の課題に取り組む。ここでは、従来の修復手法が無限の不整合サイクルによって失敗するためである。
• 商用DBMSの動作と整合するように、null値が存在する状況下での整合性制約（IC）満たしの明確な意味論を定義し、null値が新たな不整合を引き起こさないようにする。
• 外部キー違反を修正するためにnull値の導入を優先する新しい修復意味論を導入し、無限の修復サイクルを回避する。
• 非巡回外部キー制約を含む、広範なICクラスに対し、CQAを可能にするために、修復を非決定的論理プログラムの安定モデルとして指定する。
• 特定のICクラス（例：禁止制約、非巡回外部キー集合）に対して、データ複雑度を低く抑えた修復プログラム仕様を最適化する。

提案手法

• null値を含むデータベースにおけるIC満たしの新しい意味論を導入し、関連属性にnull値を含むタプルが新たな不整合を引き起こさないことを保証する。
• 参照整合性制約を修正するためにnull値を使用できる修復操作を定義し、新たな不整合の無限サイクルを防ぐための形式的条件を提示する。
• 修復を非決定的論理プログラムの安定モデルとしてモデル化し、非巡回外部キー制約に対して安定モデルと修復の1対1対応を回復するように、プログラム構築を修正する。
• 安定モデル意味論を用いて、慎重な推論により一貫したクエリ回答を指定し、すべての修復において有効であることを保証する。
• HCF（ヘッドサイクルなし）プログラムに対して、非非決定的プログラム（sh(Π)）への変換を導入し、特定のICクラスにおける複雑さの分析と最適化を可能にする。
• この意味論におけるCQAが決定可能であり、タイトな複雑さの上限を満たすことを確立する。CQAの固有複雑さ（Π²₂完全）と一致し、特定のICクラスに対して下限も得られる。

実験結果

リサーチクエスチョン

• RQ1 どのようにすれば、商用DBMSと整合し、無限の不整合伝搬を防ぐように、null値を含むデータベースにおける整合性制約を意味論的に満たせるか？
• RQ2 null値を用いて外部キー違反を修正できるが、新たな不整合や無限の修復サイクルを生じさせない修復意味論とは何か？
• RQ3 null値と複雑な制約（循環的参照制約を含む）を含むデータベースに対し、一貫したクエリ回答を効率的に計算できるか？
• RQ4 修復を非決定的論理プログラムの安定モデル意味論を用いて形式的に指定することで、正しさと完全性を保証できるか？
• RQ5 どの種の整合性制約クラスにおいて、CQAのデータ複雑度を一般のΠ²₂上限未満に低下させることができるか？

主な発見

• IC満たしの提案された意味論により、外部キー属性にnull値が存在しても新たな不整合が発生せず、安全かつ有限の修復プロセスが可能になる。
• 新しい修復意味論により、普遍的制約、外部キー制約（循環的を含む）、NOT NULL制約に対し、CQAが決定可能になる。
• 非巡回外部キー制約のための修復は、非決定的論理プログラムの安定モデルとして正しく指定可能であり、安定モデルと修復の1対1対応が回復される。
• 禁止制約やその他の非巡回ICクラスに対しては、CQAのデータ複雑度がcoNPに低下し、既知の下限と一致し、効率的な評価が可能になる。
• 本手法は、完全なデータベース修復が非現実的または不可能な仮想データ統合などの環境でも、一貫したクエリ回答を可能にする。
• このフレームワークは商用DBMSと互換性があり、null値を含む実世界システムへのCQAの実装に実用的な基盤を提供する。