研究課題
異なるスキーマのもとで管理されている同じ内容のデータにアクセスする「データ相互運用問題」を解決する手法の一つである「データ統合」は，スキーマ間の違いをスキーママッピングで記述する．Web上のデータ交換フォーマットとして開発されたXMLデータにおいては、スキーママッピングはXQueryで記述される．これに基づきこれまでP2Pに基づくXMLデータ統合が提案されてきた．このような状況において、多段のスキーママッピングを介したデータへのアクセスは、途中に多くのXMLエレメント構築をはさむようなcomposite問合せをXQueryで記述することになる．この種の問合せにおいて、途中に存在するエレメント構築の削除による問合せの最適化は大きな効果が見込まれる．しかしながら、XQueryにおいてエレメント構築は副作用があるため単にエレメント構築を削除するだけでは等価な問合せとはならない．このことは、既にXQueryの教科書等でも取り上げられている著名な問題である．したがって、これまでエレメント構築の削除による問合せの最適化は不可能であると考えられてきた．しかしながら、研究代表者によるさきの研究課題において、この問題に対する解が与えられた．グラフ問合せ言語として、XQueryを対象とした場合に実用的な問題を解決することが可能となる一方で、上記のエレメント構築の削除に関して、より実用的なアルゴリズムの開発が必要なった．上記のアルゴリズムは健全ではあるが、完全ではなかった．今年度は、composite XQuery問合せにおける途中に出現するエレメント構築を削除する完全なアルゴリズムを開発した．まず、XQueryの標準形を定義した．特にfor-式の標準形を定義するとことで、in-式を経路式に限定することが可能となり、これまで削除できなかったエレメント構築の削除に成功した．
2: おおむね順調に進展している
グラフ問合せ言語としてXQueryを対象とすることで、現実的な問題をそのまま扱うことが可能となったので、おおむね順調に進展しているものと考えられる．
今後はグラフ固有の特徴である、合流やサイクルに対して適用するための拡張を行う予定である．
国内外の旅費に使うことで、国内外の研究者との交流や研究発表をする予定である．
すべて 2014 2013 2012 その他
すべて 雑誌論文 (4件) (うち査読あり 3件) 学会発表 (2件)
Mathematical Structure in Computer Science (MSCS)
巻: 未定 ページ: 未定
Progress in Informatics, Special Issue: Advanced Programming Techniques for Construction of Robust, General and Evolutionary Programs
巻: 10 ページ: 131-148
GRACE Technical Report (GRACE-TR-2012-07)
巻: 2012-07 ページ: 3-23
コンピューターソフトウェア
巻: 29(2) ページ: 174-192
