2012 Fiscal Year Research-status Report
グラフ構造を対象としたデータ統合問題解決のための文脈を保存する融合変換の開発
| Project/Area Number |
23500055
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
加藤 弘之 国立情報学研究所, コンテンツ科学研究系, 助教 (10321580)
|
|---|
| Keywords | グラフ問合せ |
|---|
| Research Abstract |
異なるスキーマのもとで管理されている同じ内容のデータにアクセスする「データ相互運用問題」を解決する手法の一つである「データ統合」は，スキーマ間の違いをスキーママッピングで記述する．Web上のデータ交換フォーマットとして開発されたXMLデータにおいては、スキーママッピングはXQueryで記述される．これに基づきこれまでP2Pに基づくXMLデータ統合が提案されてきた．このような状況において、多段のスキーママッピングを介したデータへのアクセスは、途中に多くのXMLエレメント構築をはさむようなcomposite問合せをXQueryで記述することになる．この種の問合せにおいて、途中に存在するエレメント構築の削除による問合せの最適化は大きな効果が見込まれる．しかしながら、XQueryにおいてエレメント構築は副作用があるため単にエレメント構築を削除するだけでは等価な問合せとはならない．このことは、既にXQueryの教科書等でも取り上げられている著名な問題である．したがって、これまでエレメント構築の削除による問合せの最適化は不可能であると考えられてきた．しかしながら、研究代表者によるさきの研究課題において、この問題に対する解が与えられた．
グラフ問合せ言語として、XQueryを対象とした場合に実用的な問題を解決することが可能となる一方で、上記のエレメント構築の削除に関して、より実用的なアルゴリズムの開発が必要なった．上記のアルゴリズムは健全ではあるが、完全ではなかった．今年度は、composite XQuery問合せにおける途中に出現するエレメント構築を削除する完全なアルゴリズムを開発した．まず、XQueryの標準形を定義した．特にfor-式の標準形を定義するとことで、in-式を経路式に限定することが可能となり、これまで削除できなかったエレメント構築の削除に成功した．
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
グラフ問合せ言語としてXQueryを対象とすることで、現実的な問題をそのまま扱うことが可能となったので、おおむね順調に進展しているものと考えられる．
|
| Strategy for Future Research Activity |
今後はグラフ固有の特徴である、合流やサイクルに対して適用するための拡張を行う予定である．
|
| Expenditure Plans for the Next FY Research Funding |
国内外の旅費に使うことで、国内外の研究者との交流や研究発表をする予定である．
|
