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

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

• 批准号: 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との対応付けは今後の課題となっている。

The research on the optimization mechanism of the system is carried out by the author. The XML file is stored in the database. The file is stored in the database. The XML file name, the content, the domain, and the nature of the file name are described below. XML data is related to the standardization of W3C data, and the description of XML data is related to the requirements of XML data. The logic expression of the expression is higher order logic. The ability to write is to ask questions about how to change books and how to use them. The fixed point calculation of this kind of problem is related to the existence of the problem. In recent years, the problem of this kind of problem has been solved. The problem of this kind of problem is related to the existence of the problem. The rules of this book are applicable, and higher-order logic is required. The rules of construction are high-order, sound and complete. The best way to solve this problem is to optimize it. However, the efficiency of the book exchange and the interaction between the words and the questions in the future

项目成果

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 第二届信息重用和集成国际会议论文集。