[論文レビュー] Minimal-Change Integrity Maintenance Using Tuple Deletions

Jan Chomicki, Jerzy Marcinkowski|ArXiv.org|Dec 5, 2002

Advanced Database Systems and Queries参考文献 35被引用数 6

ひとこと要約

この論文は、整合性制約に違反した際の最小変更による整合性維持を、タプルの削除のみを用いて行うリレーショナルデータベースにおける検査を調査する。否定制約、関数従属性（FD）、包含従属性（IND）およびキー/外部キー制約を含む制約クラスにおいて、修復の検査と一貫したクエリの答えの両方の問題について、計算量の境界を特定し、 tractable（多項式時間で解ける）と intractable（多項式時間で解けない）なケースの境界を明らかにする。

ABSTRACT

We address the problem of minimal-change integrity maintenance in the context of integrity constraints in relational databases. We assume that integrity-restoration actions are limited to tuple deletions. We identify two basic computational issues: repair checking (is a database instance a repair of a given database?) and consistent query answers (is a tuple an answer to a given query in every repair of a given database?). We study the computational complexity of both problems, delineating the boundary between the tractable and the intractable. We consider denial constraints, general functional and inclusion dependencies, as well as key and foreign key constraints. Our results shed light on the computational feasibility of minimal-change integrity maintenance. The tractable cases should lead to practical implementations. The intractability results highlight the inherent limitations of any integrity enforcement mechanism, e.g., triggers or referential constraint actions, as a way of performing minimal-change integrity maintenance.

研究の動機と目的

• 整合性制約に違反した際、最小限の変更でデータベースの整合性を回復する課題に取り組む。
• タプルの削除に限定して、最小変更の整合性維持を更新後のプロセスとして形式化し、可能な限り元のデータを保全することを目的とする。
• 2つの中心的な問題である修復の検査と一貫したクエリの答えの計算量の複雑さを分析する。
• 否定制約、関数従属性（FD）、包含従属性（IND）を含む制約クラスについて、 tractable と intractable なケースの境界を明確にする。
• データ統合やデータウェアハウスの応用分野においてデータの不整合が一般的であることを踏まえ、実装の基盤を提供する。

提案手法

• 修復を、元のデータベースからタプルの削除のみを用いてすべての整合性制約を満たす最小の部分集合として定義する。
• 修復の検査を、与えられたデータベースインスタンスが元のデータベースの有効な修復であるかどうかを判定する問題として定式化する。
• 一貫したクエリの答えを、すべての可能な修復において真である答えとして定義し、クエリの再書き換えと論理的特徴付けを用いる。
• クエリの種別（量化子なし、結合的、単純な結合的クエリ）ごとに複雑さを分析する。
• 制約の種別（否定制約、関数従属性（FD）、包含従属性（IND）、およびその組み合わせ）に基づいて複雑さを分類する。
• 還元と計算複雑性理論的分析を用いて、特定のクエリと制約クラスの組み合わせについて、PTIME（多項式時間）での tractability を証明する。

実験結果

リサーチクエスチョン

• RQ1 どの整合性制約とクエリタイプの組み合わせが、修復の検査を多項式時間で行えるか？
• RQ2 タプルの削除のみを許容する条件下で、一貫したクエリの答えの計算がどのようないくつかの条件下で tractable になるか？
• RQ3 関数従属性と包含従属性の文法的制約が、整合性維持の複雑さにどのように影響するか？
• RQ4 タプルの削除のみに制限した場合、キーと外部キー制約においても tractability が保たれるか？
• RQ5 包含従属性における非巡回性と単一項構造が、修復の検査と一貫したクエリの答えの複雑さに与える影響は何か？

主な発見

• 任意の否定制約の下で、地面の量化子なしクエリについては、修復の検査が PTIME に属する。
• 各関係に高々1つの関数従属性が存在する場合、閉じた単純な結合的クエリのための一貫したクエリの答えは、PTIME で計算可能である。
• 一般の関数従属性と包含従属性を組み合わせた場合、非巡回の IND であっても、一貫したクエリの答えの問題は計算量的に困難になる。
• 包含従属性の非巡回性は、修復の検査については tractable を保証するが、一貫したクエリの答えについては保証しない。
• 否定制約において、削除のみに制限しても表現力に制限はなく、違反を解消するには削除が唯一の方法であるため、制限に伴う影響はない。
• 含意問題における FD と IND の文法的分離が、修復と一貫したクエリの答えの文脈でも同様の tractability をもたらさない。これは、修復における最大性制約に起因する。