• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

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

Research Project

Project/Area Number 12780250
Research Category

Grant-in-Aid for Encouragement of Young Scientists (A)

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionNational Institute of Informatics

Principal Investigator

加藤 弘之  国立情報学研究所, 情報学資源研究センター, 助手 (10321580)

Project Period (FY) 2000 – 2001
Project Status Completed (Fiscal Year 2001)
Budget Amount *help
¥2,100,000 (Direct Cost: ¥2,100,000)
Fiscal Year 2001: ¥1,200,000 (Direct Cost: ¥1,200,000)
Fiscal Year 2000: ¥900,000 (Direct Cost: ¥900,000)
Keywords問合せ最適化 / XML / マジック / 高階論理 / データベース / 論理プログラミング / マジックセット / 論理
Research Abstract

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

Report

(2 results)
  • 2001 Annual Research Report
  • 2000 Annual Research Report
  • Research Products

    (4 results)

All Other

All Publications (4 results)

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

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

    • Related Report
      2001 Annual Research Report
  • [Publications] 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)

    • Related Report
      2000 Annual Research Report
  • [Publications] 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)

    • Related Report
      2000 Annual Research Report

URL: 

Published: 2000-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi