2000 Fiscal Year Annual Research Report
拡張可能データベース管理システムの問合せ最適化に関する研究
| Project/Area Number |
12780250
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
加藤 弘之 国立情報学研究所, 情報学資源研究センター, 助手 (10321580)
|
|---|
| Keywords | XML / データベース / 問合せ最適化 / マジックセット / 論理 |
|---|
| Research Abstract |
研究対象であるXMLデータの問合せ言語について、WBCで現在検討されているXQueryとその代数モデルであるXML Query Algebraについて調査を行なった。XML Query AlgebraではCategory TheoryのMonad lawsに基づく問合せ最適化が提案されている、これは入れ子関係データベースにおける代数レベルでの最適化技術として開発されたものをXML Query Algebraに拡張したものである。これに対して本研究で開発中の問合せ最適化技術は、論理レベルの問合せ書き換え手法であり、問合せ元を代数レベルに変換する前に適用されるので、一般に代数レベルでの最適化よりも効率的な最適化が可能となるしたがって、本研究が対象としている問合せ最適化技術は有効であることが確認された。
また、本研究で開発中の問合せ最適化手法の要素技術であるマジックセット書き換え法は、変数として取り及えるものに対してadornmentsを付加して問合せ書き換えを行い選択条件をより早く評価する問合せ式に変換するものである。今年度は、このマジックセット書き換え法を適用する論理として、高階の意味を保持しながら一階の文法で記述できる、F-logicやその拡張であるHi-Logについて調査を行ない、本研究で採用する論理の基礎的要素を調査した。
|
-
[Publications] S.Hidaka,H.Kato and K.Oyama: "Querying Structured Documents based on Human Visual Memory"Proceedings of the ISCA 2nd International Conference on Information Reuse and Integration. 91-94 (2000)
-
[Publications] M Yoshikawa,H.Kinutani.Y.Yamamoto,H.Kato and S.Uemura: "Advances in Databases and Multimedia for the New Century -A Swiss/Japanese Perspective-"Editors : Y.Masunaga and S.Spaccapietra World Scientific Publishing ISBN 981-02-4310-3. (2000)
