共同研究・競争的資金等の研究課題

2002年 - 2004年

カジュアルなデータベース問合せの最適化手法に関する研究

文部科学省  科学研究費補助金(若手研究(B))  若手研究(B)

課題番号
14780249
体系的課題番号
JP14780249
資金種別
競争的資金

カジュアルな問合せの変換後の問合せとしてXQueryを選択し、その最適化手法として今年度行った研究やその結果生じた成果は次の通りである。
1.XQueryの中で我々の最適化手法が適用可能な箇所を形式的に特定するCore XQuery(CXQuery)を再帰的に定義
2.CXQueryのコストモデルをXQueryの形式的意味に基づき定義
3.経路式中の冗長なエレメントコンストラクタの削減による最適化手法「経路式の畳み込み」を帰納原理として定義。これは、従来の、コンストラクタにコピーを要請しない言語ではコストが定数であったが、XQueryのエレメントコンストラクタではコピーが必要であるため、帰納原理においてはエレメントコンストラクタ内のデータの大きさに対して線形のコスト削減となる。問合せ全体としては、与えられた問合せ式の再帰定義に依存するがかなりのコスト削減となることがわかった。
4.3で定義した「経路式の畳み込み」をXQueryの代表的な式であるFLWOR式の全てに適用するために、FLWOR式を意味が等価でかつ、2で定義したコストよりも悪くない式への変換規則である「FLWOR Arranging」を定義。
5.3、4で開発した最適化手法を一つのアルゴリズムにマージするとともにその健全性と停止性をXQueryの形式的意味に基づき証明した。
6.実証実験としてルーセントテクノロジー...

リンク情報
URL
https://kaken.nii.ac.jp/p/14780249
KAKEN
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-14780249
ID情報
  • 課題番号 : 14780249
  • 体系的課題番号 : JP14780249