View Updatability Checking with Simulation-based Graph Schema
View Updatability Checking with Simulation-based Graph Schema
复制标题
使用基于模拟的图模式查看可更新性检查
DOI：
10.11309/jssst.29.2_174
复制
发表时间：
2012
影响因子：
--
通讯作者：
日高宗一郎,胡振江,稲葉一 浩,加藤弘之
中科院分区：
文献类型：
--
作者：
中野圭介;日高宗一郎,胡振江,稲葉一 浩,加藤弘之
ビューとはデータベースに含まれる情報の一部をある変換言語によって抽出・整形したものである. ビュー側の更新をデータベースに反映するというビュー更新問題は, データベース研究者のみならず, 双方向変換とよばれる枠組みとしてプログラミング言語の研究者にも盛んに取り組まれている. 我々は, これまでの研究において, グラフ変換言語 UnCAL を対象にしたビュー更新問題の解決法を提案してきたが, 任意のビュー更新に対してデータベースへの反映を計算しようとしたため, ビューが値域に含まれていない場合や対応するデータベースがユーザの意図から外れている場合に結果的に不要な計算を行ってしまっていた. 本論文では, この問題を解決するために, ユーザの意図するデータベースに対応する値域をあらかじめ算出し, 更新されたビューがユーザの与えたグラフスキーマの値域に含まれるかを事前に判定する手法を提案する. ユーザの意図は本研究で提案する独自のグラフスキーマによって表現するが, このスキーマは, Buneman らが提案した UnCAL 用グラフスキーマと同様に模倣関係に基づいて定義されているため, そのスキーマを満たす入力に対する値域が自然に算出することができる. 一方で, 我々のグラフスキーマは, 従来表現できなかった “必要な辺” に関する記述ができるように拡張されているため, より正確なビュー更新の妥当性を事前に確認することが可能となる.