更新意図の外形的推測に基づくリレーショナルデータベースビューの更新可能性

• Item type: Symposium(1)
• 公開日: 2015-11-17
• タイトル: 更新意図の外形的推測に基づくリレーショナルデータベースビューの更新可能性
• タイトル / 言語: en
• タイトル: Updatability of Relational Database Views based on Pro Forma Guessing of Update Intention
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: お茶の水女子大学名誉教授
• 著者所属(英): en
• 著者所属(英): Professor Emeritus of Ochanomizu University
• 著者名: 増永, 良文
• 著者名(英): Yoshifumi, Masunaga
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ビューはデータベースに格納されている実リレーションではなく，実リレーション群に対して発行された問合せの結果リレーションを導く “定義” をビューと称しているにしか過ぎないので，ビューをさらに問合せの対象とするときには問題は生じないが，物理的には存在していない仮想的なリレーションであるビューを “更新” しようとするとその更新可能性が問題となってくる．このビュー更新問題はビューが導入された時点から，多くの研究者と実務家の関心を惹き，数多くの研究・開発がなされてきたが，未だその全貌が明らかにされずに今日に至っている．本報告ではリレーショナルデータベースのビュー更新可能性について，まず，和集合ビュー，差集合ビュー，共通集合ビュー，直積ビュー，射影ビュー，選択ビュー，結合ビューの 7 つの基本的なビューの更新可能性について，“更新意図の外形的推測に基づく更新可能性” という考え方を新たに導入することにより，これらすべてのビューの更新可能性を体系的に明らかにする．さらに，この結果を基にして，これら 7 つの演算を再帰的に用いて定義される一般的なビューの更新可能性について，その更新可能性を判定するアルゴリズムを示す．本報告の更新意図の外形的推測に基づくアプローチが従来型アプローチと根本的に異なる点は，後者で更新不可能とされる場合でも，ビュー更新の変換候補の “外形” を，ビューを一時的にマテリアライズして仮計算してみると，ユーザが発行した更新要求の意図を一意に “推測” できうる場合がある点に着目したところにある．その結果，これまで完全な解が与えられていなかったビュー更新問題に統一的な解を示し得たものと考えられる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Given that views are not base relations stored in a database but virtual in the sense of being merely “definitions” of queries issued to a database, the updatability of views poses a formidable problem, although there is no problem as long as views are subject to query. While the view update problem has attracted the attention of many scientists and business people, and much research and development has been reported since views were first introduced, a complete resolution to this problem is still an open issue unfortunately. In this paper, a novel concept to resolve this problem is introduced which is called “view updatability based on pro forma guessing of update intention.” First, the updatability of seven basic views, which are defined by using union operation, difference set operation, intersection operation, Cartesian product operation, projection operation, selection operation, and join operation, respectively, is clarified in a systematic manner. Second, based on the result, an algorithm is presented to determine whether a given view, defined arbitrarily by using seven basic view-defining operators recursively, is updatable or not. View updatability, based on pro-forma guessing of update intention, differs essentially from the traditional approach in the sense that certain views actually become updatable in this new approach while they are not updatable in the traditional sense. This is due to the fact that in certain cases the user’s view update intention can be guessed uniquely by checking the “extension” of each view update transformation candidate, which is calculated using temporarily materialized views. Consequently, a unified solution is applied to the view update problem which, until now, had not been thoroughly resolved.
• 書誌情報: 第8回Webとデータベースに関するフォーラム論文集; 巻 2015, p. 80-87, 発行日 2015-11-17
• 出版者 / 言語: ja
• 出版者: 情報処理学会