[論文レビュー] The View Update Problem Revisited

Enrico Franconi, Paolo Guagliardo|arXiv (Cornell University)|Nov 13, 2012

Advanced Database Systems and Queries参考文献 17被引用数 10

ひとこと要約

この論文は、制約下での決定性に基づくフレームワークを導入することで、関係データベースにおけるビュー更新問題を再考し、下位のデータベースへの更新の一意的かつ明確な伝播が可能かどうかを判断する一般基準を提供する。主な貢献は、三つの異なる設定—結合的クエリにストラティファイド埋め込み依存を適用した場合、ドメイン制約を伴う水平分解、および包含依存を伴うDLRに基づく表現力豊かな関係代数—において、ビュー写像の可逆性を判定し、更新変換を計算する決定可能で効果的な手法を提供することである。

ABSTRACT

In this paper, we revisit the view update problem in a relational setting and propose a framework based on the notion of determinacy under constraints. Within such a framework, we characterise when a view mapping is invertible, establishing that this is the case precisely when each database symbol has an exact rewriting in terms of the view symbols under the given constraints, and we provide a general effective criterion to understand whether the changes introduced by a view update can be propagated to the underlying database relations in a unique and unambiguous way. Afterwards, we show how determinacy under constraints can be checked, and rewritings effectively found, in three different relevant scenarios in the absence of view constraints. First, we settle the long-standing open issue of how to solve the view update problem in a multi-relational database with views that are projections of joins of relations, and we do so in a more general setting where views are defined by arbitrary conjunctive queries and database constraints are stratified embedded dependencies. Next, we study a setting based on horizontal decompositions of a single database relation, where views are defined by selections on possibly interpreted attributes (e.g., arithmetic comparisons) in the presence of domain constraints over the database schema. Lastly, we look into another multi-relational database setting, where views are defined in an expressive "Type" Relational Algebra based on the n-ary Description Logic DLR and database constraints are inclusions of expressions in that algebra.

研究の動機と目的

• ビュー更新が下位のデータベース関係に一意的かつ明確に翻訳可能かどうかを特定するという、長年の課題に取り組むこと。
• 制約下での決定性という概念を用いて、関係データベースにおけるビュー更新問題の一般フレームワークを形式化すること。
• 複数の現実的なデータベース設定において、ビュー写像の可逆性をチェックし、更新変換を計算するための効果的で決定可能な基準を提供すること。
• 複数の関係からなるデータベースにおいて、結合の投影であるビューが存在する状況での未解決問題を解決し、単一関係または単純なビューに限られた先行研究を拡張すること。

提案手法

• ビュー写像が可逆である、すなわち各基本関係記号がビュー記号の観点から正確に再定義可能である条件を特徴付ける、制約下での決定性に基づくフレームワークを提案する。
• 与えられた制約の下で正確な再定義が存在するかどうかに依存して、ビュー更新が基本関係に一意に伝播可能かどうかをチェックする一般基準を導入する。
• 三つの異なるシナリオにフレームワークを適用する：ストラティファイド埋め込み依存を伴う結合的クエリ、解釈可能な属性にドメイン制約を伴う選択、包含依存を伴うDLRベースの関係代数。
• 各設定において、チャージベースの技術と論理的再定義を用いて決定性をチェックし、逆写像を計算する。
• すべての三つの設定において、可逆性が決定可能で効果的であることを確立する。この際、ビュー制約が存在しない場合でも同様である。
• スキーマ写像と論理的埋め込みによる抽象化を用いて、ビューと制約の間の一対一対応を保証し、一貫した更新伝播を可能にする。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、ビュー写像が可逆となり、各ビューの更新が基本関係に一意に翻訳可能となるのか。
• RQ2 与えられたビュー更新が、下位のデータベース関係に明確に伝播可能かどうかを効果的に判定できるか。
• RQ3 複雑なビュー定義と制約を伴うマルチリレーションデータベースにおいて、更新翻訳可能性の一般的で決定可能な基準を提供することは可能か。
• RQ4 結合的クエリ、解釈可能な属性のドメイン制約、包含依存を伴う表現力豊かな関係代数を含む設定において、ビュー更新問題をどのように解決できるか。

主な発見

• 本論文は、与えられた制約の下で各基本関係記号がビュー記号の観点から正確に再定義可能である場合に限り、ビュー写像が可逆であることを確立している。
• ストラティファイド埋め込み依存を伴う結合的クエリの設定において、ビュー更新問題は決定可能で効果的であり、マルチリレーションデータベースにおける長年の未解決問題を解決している。
• 解釈可能な属性にドメイン制約を伴う水平分解の設定では、決定性の効果的チェックと更新伝播が可能であり、算術比較を含む選択に対しても同様に有効である。
• DLRベースの関係代数の設定では、式に対する包含依存が、逆写像と更新変換の効果的計算を可能にする。
• 本フレームワークは、ビュー写像の合成をサポートする：合成ビューが可逆であるのは、各コンポーネントビューが可逆であり、かつスキーマ間の整合性条件を満たす場合に限る。
• 本論文は、関数的依存が水平分解の完全性に影響しないが、包含依存が決定性に影響を与える追加の制約を導入する可能性があることを示しており、反例によりこれを裏付けている。