拡張可能データベース管理システムの問合せ最適化に関する研究

可扩展数据库管理系统查询优化研究

• 批准号: 12780250
• 负责人: 加藤 弘之
• 金额: $ 1.34万
• 依托单位: National Institute of Informatics
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 2000
• 资助国家: 日本
• 起止时间: 2000 至 2001
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-12780250/
• 关键词: 問合せ最適化; XML; マジック; 高階論理; データベース; 論理プログラミング; マジックセット; 論理

拡張可能データベースシステムの拡張データ型としてXMLデータを扱う型に着目し、問合せの書き換えによる最適化機構について研究を行なった。まずXMLデータを従来の関係データやオブジェクト指向データベースで用いられてきた述語論理に基づいてモデル化した。ここでXMLデータのエレメント名が述語名として内容データがその定義域として自然にモデル化される。XMLデータに関する問合せ言語はW3Cでその標準化が進められており、その問合せ記述能力としてエレメント名に対する問合せが要求されている。これは上記のモデル化において、問合せを述語論理表現した場合高階論理となる。このような記述能力を有する問合せの書き換え方式として、マジックに基づく書き換え方式を採用した。これまでマジックは再帰問合せの不動点計算に対して有効に働くと見られてきたが、近年になって非再帰問合せに対してもその有効性が見出されてきたからであり、その有益性は商用の関係データベースに採用されているほどである。この書き換え規則を適用するにあたって、問合せが高階論理となる点に留意した。そこで、構文規則は高階であるがその意味が一階であり、健全で完全な証明手続きを有する論理としてHiLogで記述することにした。これによりマジックに基づく問合せ最適化が可能となった。但し、書き換えコストの効率化と実際の問合せ言語であるXQueryとの対応付けは今後の課題となっている。

拡 Zhang may be used The type is the same as the purpose, the question is the book, the change is the optimization mechanism, and the research is done.データやオブジェクトPoint to データベースで用いられてきた说语论理に记づいてモデル化した.ここでXMLデータのエレメント名がprescriptive nameとしてcontentデータがそのdefinition domainとしてnatural にモデル化される. XML standardization, standardization of W3C standardization,その问合せnarrative ability としてエレメントname に対するask合せがRequirement されている.これは上记のモデル化において, Asking and combining せを书语论论performance したoccasion high-level theory となる.このようなnarrative abilityを有するask合せの书きchangeえWAYとして, マジックに记づく书きchangeえWAYをadoptした.これまでマジックは Zaiwenhe せのfixed point calculation に対して is validに働くと见られてきたが、In recent years, になってhas not asked again and again せに対してもそのeffectivenessが见出されてきたからであり、そのhelpful Sex is a commercial relationship that uses されているほどである.この书きchangingえrulesをapply するにあたって, asking 合せが Advanced Theory となるPoint にPay attention to した.そこで、Composition rules はHigh-order であるがそのmeaning がFirst-order であり、Sound でcompleteなproof hand続きを有する论理としてHiLogでnarrativeすることにした.これによりマジックに记づくquestion合せoptimizationがpossibleとなった. However, the book is changed and the efficiency is improved, and the language of XQuery is improved.

项目成果

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)

M Yoshikawa、H.Kinutani.Y.Yamamoto、H.Kato 和 S.Uemura：“新世纪数据库和多媒体的进展 - 瑞士/日本的视角 -”编辑：Y.Masunaga 和 S.Spaccapietra 世界科学出版社 ISBN

日高宗一郎: "CG/アニメ画像に適した電子透かし方式の一検討"情報処理学会第63回全国大会講演論文集. 2001・3. 557-558 (2001)

日高宗一郎：“适合CG/动画图像的数字水印方法的研究”第63届日本信息处理学会会议记录2001・3（2001）。

加藤弘之: "XMLデータベースの問合せ最適化に関する検討"情報処理学会研究報告. 2001・44. 161-166 (2001)

加藤博之：“XML数据库的查询优化研究”日本信息处理学会研究报告2001・44（2001）。

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)

S.Hidaka、H.Kato 和 K.Oyama：“基于人类视觉记忆的查询结构化文档”ISCA 第二届信息重用和集成国际会议论文集。