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

数据库临时查询优化方法研究

• 批准号: 14780249
• 负责人: 加藤 弘之
• 金额: $ 2.43万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2002
• 资助国家: 日本
• 起止时间: 2002 至 2004
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-14780249/
• 关键词: XML; 問合せ最適化; folding; データベース; プログラミング言語; 関数型言語; XQuery; 部分計算; Pushing selection; GROUPBY; 集約; Galax

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

This year's research results are based on the optimization method of the XQuery. 1. The optimization method of XQuery is applicable to the definition of Core XQuery(CXQuery) and re-analysis of all possible forms. 2. The basic definition of CXQuery and the meaning of CXQuery form. 3. The optimization method of "CXQuery" and the definition of "CXQuery" and re-analysis principle. In this case, the number of lines in the matrix is equal to the number of lines in the matrix. All of them are dependent on each other. 4.3 Definition of the expression "FLWOR" in XQuery means "FLWOR Arrangement" in XQuery means "FLWOR Arrangement." 5.3 4. The development of optimization methods for a variety of applications, such as: 6. To prove the effectiveness of the optimization method, we need to open up the XQuery platform "Galax".

项目成果

加藤弘之, 安達淳: "XQueryでのcontains()の早期評価によるXML集約ビューへの問合せ最適化手法"NII Journal. 6号. (2003)

Hiroyuki Kato，Jun Adachi：“使用 XQuery 中 contains() 的早期评估的 XML 聚合视图的查询优化方法”NII Journal 第 6 期（2003 年）。

Soichiro HIDAKA, Hiroyuki KATO: "Redundant Communication Elimination Optimization in XQuery, for Multimedia Contents Management using Metadata in Distributed Digital Library Environments"Proceedings of the Workshop on Multimedia Contents in Digital Librar

Soichiro HIDAKA、Hiroyuki KATO：“XQuery 中的冗余通信消除优化，用于分布式数字图书馆环境中使用元数据的多媒体内容管理”数字图书馆多媒体内容研讨会论文集

FLWOR Arranging;入れ子FLWORブロックを伴うXQueryの書き換えによる最適化手法

FLWOR排列；通过嵌套FLWOR块重写XQuery的优化技术

• 发表时间: 2004
• 期刊: 情報処理学会研究報告 2005・45
• 作者: 加藤弘之

XQueryに対する定数畳み込みの適用

将常量折叠应用于 XQuery

• 发表时间: 2004
• 期刊: 電子情報通信学会データ工学研究専門委員会技報 104・102
• 作者: 加藤弘之;加藤弘之
• 通讯作者: 加藤弘之