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

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

基本信息

批准号：
14780249
负责人：
加藤弘之
金额：
$ 2.43万
依托单位：
National Institute of Informatics
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2002
资助国家：
日本
起止时间：
2002 至 2004
项目状态：
已结题

项目摘要

カジュアルな問合せの変換後の問合せとして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」を用いて上記で開発した最適化手法の有効性を確かめた。

我们今年进行的研究是一种优化方法，用于选择XQUERY作为随意查询的转换查询，结果的结果如下：1。递归定义了可以在xquery 2中应用我们的优化方法正式识别我们的优化方法在xquery 2中实现优化方法的cxquery的正式含义。将路径表达式中的冗余元素构造函数降低为诱导原理。这是因为，在不需要构造函数的传统语言中，成本是恒定的，但是由于Xquery Element构造函数需要复制，因此，在归纳原理中，就元素构造器中数据大小而实现了线性成本降低。依靠给定查询表达式的递归定义，发现总体查询是一个大量的成本节省。为了将4.3中定义的“路径表达式”应用于典型的Xquery表达式的所有flwor表达式，我们定义了“ flwor安排”，这是一种表达式的conversion依规则，对表达式的含义具有等效含义，并不比2.3和4的正式定义的成本差。 Xquery的含义。 6。作为一个演示实验，我们使用了使用Lucent技术开发的Xquery Engine“ Galax”开发的优化方法的有效性。