[論文レビュー] Stop the Chase

Michael Meier, Michael Schmidt+1 more|arXiv (Cornell University)|Jan 26, 2009

Advanced Database Systems and Queries参考文献 14被引用数 5

ひとこと要約

本稿では、データベース制約解決におけるchaseの終了を保証するための新しい十分条件であるinductive restrictionを導入し、従来の条件を一般化しつつも、効率的に検証可能であることを示している。さらに、一般のchase終了が失敗する場合でも特定のインスタンスに対して終了を保証するデータ依存型の終了条件を提案しており、従来の手法に比べて顕著な実用的改善をもたらしている。

ABSTRACT

The chase procedure, an algorithm proposed 25+ years ago to fix constraint violations in database instances, has been successfully applied in a variety of contexts, such as query optimization, data exchange, and data integration. Its practicability, however, is limited by the fact that - for an arbitrary set of constraints - it might not terminate; even worse, chase termination is an undecidable problem in general. In response, the database community has proposed sufficient restrictions on top of the constraints that guarantee chase termination on any database instance. In this paper, we propose a novel sufficient termination condition, called inductive restriction, which strictly generalizes previous conditions, but can be checked as efficiently. Furthermore, we motivate and study the problem of data-dependent chase termination and, as a key result, present sufficient termination conditions w.r.t. fixed instances. They are strictly more general than inductive restriction and might guarantee termination although the chase does not terminate in the general case.

研究の動機と目的

• データベース制約解決におけるchase手続きの非終了という根本的問題に対処すること。これは、その実用的適用を制限する要因である。
• すべてのデータベースインスタンスに対してchaseの終了を保証する十分条件を同定すること。これは、一般のchase終了の決定不能性を克服することを目的とする。
• 従来の手法よりもより一般化され、かつ効率的に検証可能な終了条件を構築すること。
• 一般の終了が失敗する場合でも、特定のデータベースインスタンスに対してchaseの終了を保証するデータ依存型の終了条件を調査すること。

提案手法

• inductive restrictionを、従来の条件を一般化しつつも効率的な検証性を保ったまま、chase終了の新しい十分条件として提案する。
• 制約下でのchase挙動を分析するための形式的枠組みを定義し、終了に関する体系的な推論を可能にする。
• 特定のデータベースインスタンスの構造に依存する終了条件を導入し、一般の制約クラスに依存するのではなく、インスタンス固有のものとする。
• 依存関係およびインスタンスデータの論理的・構造的分析を用いて、あるインスタンス上でchaseが必ず終了するような条件を導出する。
• 終了条件の階層を確立し、データ依存型条件がinductive restrictionを厳密に一般化していることを示す。

実験結果

リサーチクエスチョン

• RQ1 任意のデータベースインスタンスに対してchase終了を保証する、より一般化されかつ効率的に検証可能な条件を考案可能か？
• RQ2 データ依存型制約は、一般条件を上回ってchase終了を改善できる程度はどの程度か？
• RQ3 一般の場合にchaseが終了しない場合でも、特定のインスタンスに適用可能な十分な終了条件を定義することは可能か？
• RQ4 既存の汎用条件と比較して、データ依存型終了条件は一般性および効率性の面でどのように異なるか？

主な発見

• inductive restrictionは、従来の手法よりも厳密に一般化され、かつ効率的に検証可能なchase終了条件を提供する。
• データ依存型終了条件は、inductive restrictionを厳密に一般化しており、一般のchaseが終了しないケースでも終了を可能にする。
• 提案された条件により、非終了リスクのため従来は実装不可能とされていたシナリオにおいても、chase手続きの実用的導入が可能になった。
• この枠組みにより、一般の終了保証とインスタンス固有の終了保証の区別が体系的に行えるようになった。