• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2005 年度 実績報告書

高階項書換え系にもとづく高階パターン照合を用いたXML変換技術

研究課題

研究課題/領域番号 15500014
研究機関会津大学

研究代表者

鈴木 大郎  会津大学, コンピュータ理工学部, 講師 (90272179)

研究分担者 奥居 哲  中部大学, 工学部, 助教授 (00283515)
キーワードXML変換 / 高階パターン照合 / 正則木表現 / 正則表現の導集合 / 不完全正則表現型
研究概要

本年度は,任意のXML項と二階のパターンとの間のパターン照合アルゴリズムを設計することを目指した.まず前年度に設計した二階のパターン照合アルゴリズムを見直し,上記の拡張を行いやすい形への再構成について検討を行った.その結果,一階の推論規則において項に対して行っていた操作を,型に対して行う操作とみなすことで,二階のパターン照合を行う推論規則が自然に得られることを見出し,それに沿った形で推論則の集合を再構成した.また,推論規則の適用により導入される新たな変数の型を決めるために,型の展開という概念を導入した.型の展開は木オートマトンのレベルではなく正則木表現のレベルで型を決定するため,実装を意識せずより抽象化の高いレベルでアルゴリズムを表現できるという利点がある.また,新たに導入される変数の型を決定する部分とパターン照合を行う部分とを分離することができるので,前者を変更しても後者が影響を受けないという利点がある.最初に述べた拡張は,まさに前者を拡張することに当たるので,このような分離は我々が目指すアルゴリズムの拡張にとって望ましい.
次に,任意のXML項に対するパターン照合が行えるように,型の展開の拡張に関する検討を行った.我々は,Brzozowskiが提案した正則表現の導集合(derivation)を参考にしつつ,任意の正則木表現による型の展開に関する検討を行った結果,任意の正則表現による型の展開の定式化に成功した.今後それを任意の正則木表現による型の展開の定式化へと拡張していく予定である.
また,前年度提案した不完全正則表現型の拡張を行い,ホールが正則木表現の和や型名定義の中への出現を許しても型理論的に不都合を生じないことを見出した.この拡張により,XML項を任意の深さでパターンと部分項に分割することが可能となり,高階パターン照合の表現力をさらに増すことができるようになった.

  • 研究成果

    (4件)

すべて 2006 2005

すべて 雑誌論文 (4件)

  • [雑誌論文] Pattern Matching of Incompletely RE-Typed Expressions via Transformation2006

    • 著者名/発表者名
      Satoshi Okui, Taro Suzuki
    • 雑誌名

      IPSJ Transactions on Programming 47 (PRO 29)(印刷中)

  • [雑誌論文] A statically typed second-order rewrite system for XML transformation2005

    • 著者名/発表者名
      Taro Suzuki, Satoshi Okui
    • 雑誌名

      Proceedings on the Eighth International Conference on Humans and Computers (HC-2005)

      ページ: 326-331

    • 説明
      「研究成果報告書概要(和文)」より
  • [雑誌論文] A rewrite system with incomplete regular expression type for transformation of XML documents2005

    • 著者名/発表者名
      Taro Suzuki, Satoshi Okui
    • 雑誌名

      IPSJ Transactions on Programming 46(SIG 14 (PRO27))

      ページ: 43-54

  • [雑誌論文] Pattern Matching Incompletely RE-Typed Expressions via Transformation2005

    • 著者名/発表者名
      Satoshi Okui, Taro Suzuki
    • 雑誌名

      情報処理学会プログラミング研究会

      ページ: 1-12

URL: 

公開日: 2007-04-02   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi