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

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

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

Company may zhang デ ー タ ベ ー ス シ ス テ ム の company, zhang デ ー タ type と し て XML デ ー タ を Cha う type に with mesh し, ask せ の book き in え に よ る optimization institutions に つ い て を line な っ た. ま ず XML デ ー タ を 従 to の masato is デ ー タ や オ ブ ジ ェ ク ト pointing デ ー タ ベ ー ス で with い ら れ て き た predicate logical に base づ い て モ デ ル change し た. こ こ で XML デ ー タ の エ レ メ ン ト name が predicate と し て content デ ー タ が そ の domain と し て natural に モ デ ル change さ れ る. XML デ ー タ に masato す る asked us せ words は W3C で そ の standardized が into め ら れ て お り, そ の asked us せ account ability と し て エ レ メ ン ト name に す seaborne る asked us せ が requirements さ れ て い る. The <s:1> れ モデ is recorded in the above, and the モデ is used to ferrize the にお て て て, and to match the せを discourse theory to express the higher-order theory of the た situation となる. こ の よ う な account を power す る asked us せ の way change book き え と し て, マ ジ ッ ク に base づ く book き change methods を え し た. こ れ ま で マ ジ ッ ク は 帰 asked us again せ の fixed point computing に し seaborne て have sharper に 働 く と see ら れ て き た が, recent に な っ て non 帰 asked us again せ に し seaborne て も そ の have sharper sex が shows さ れ て き た か ら で あ り, そ の is healthy は commercial の masato is デ ー タ ベ ー ス に using さ れ て い る ほ ど で あ る. The え rule を applies to するにあたって, conforms to せが higher-order theory となる points に pay attention to た た. そ こ で, constitutive rules は higher-order で あ る が そ の mean が first-order で あ り, perfecting で な proved completely hand 続 き を have す る logical と し て HiLog account で す る こ と に し た. The basis of the づく combination せ optimizes が possibly となった. But in え し, book き コ ス ト の sharper rate change と be interstate の asked us せ words で あ る XQuery と の 応 seaborne pay け は と の subject 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 第二届信息重用和集成国际会议论文集。