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

Verification of XML Transformation based on Higher-Order Narrowing

Research Project

Project/Area Number 23500021
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Fundamental theory of informatics
Research InstitutionThe University of Aizu

Principal Investigator

SUZUKI TARO  会津大学, コンピュータ理工学部, 上級准教授 (90272179)

Co-Investigator(Kenkyū-buntansha) OKUI Satoshi  中部大学, 工学部, 准教授 (00283515)
Project Period (FY) 2011 – 2013
Project Status Completed (Fiscal Year 2013)
Budget Amount *help
¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
Fiscal Year 2013: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2012: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2011: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywordsナローイング / XML / 正規表現
Research Abstract

We investigated theoretical properties of narrowing for hedge rewrite systems as a verification of XML transformation. A narrowing calculus is designed for left-linear, right-flat constructor-based hedge rewrite systems. Given an equation with an application of transformation function to an XML document in the one side and an undesirable transformation result in the other side, the narrowing calculus produces a narrowing derivation and a unifier of the final equation in the derivation as an instance of undesirable transformation. We have shown that the narrowing calculus is sound and complete, and preunification problem associated with the calculus is decidable.

Report

(4 results)
  • 2013 Annual Research Report   Final Research Report ( PDF )
  • 2012 Research-status Report
  • 2011 Research-status Report
  • Research Products

    (10 results)

All 2014 2013 2012 2011 Other

All Journal Article (7 results) (of which Peer Reviewed: 2 results) Presentation (2 results) Remarks (1 results)

  • [Journal Article] メモ化について2014

    • Author(s)
      奥居哲
    • Journal Title

      情報科学リサーチジャーナル

      Volume: Vol.21 Pages: 67-68

    • Related Report
      2013 Final Research Report
  • [Journal Article] メモ化について2014

    • Author(s)
      奥井哲
    • Journal Title

      情報科学リサーチジャーナル

      Volume: 21 Pages: 67-68

    • Related Report
      2013 Annual Research Report
  • [Journal Article] Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions2013

    • Author(s)
      Satoshi Okui, Taro Suzuki
    • Journal Title

      University of Aizu Technical Report

      Volume: 2013-002 Pages: 1-31

    • Related Report
      2013 Annual Research Report
  • [Journal Article] 決定性有限オートマトンによる正規表現の貪欲な照合2013

    • Author(s)
      奥居哲,増田拓也,藤田佳宏,鈴木大郎
    • Journal Title

      情報科学リサーチジャーナル

      Volume: 20 Pages: 97-104

    • NAID

      40019638701

    • Related Report
      2012 Research-status Report
  • [Journal Article] Design and Implementation of New Generation Data Format for Lunar and Planetary Exploration2012

    • Author(s)
      Taro Suzuki, Jun'ya Terazono and Takafumi Hayashi
    • Journal Title

      Transaction of JSASS, Aerospace and Technology Japan

      Volume: Vol.10

    • NAID

      130003373361

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] 決定性有限オートマトンによる正規表現の貪欲な照合2012

    • Author(s)
      奥居哲, 増田拓也, 藤田佳宏, 鈴木大郎
    • Journal Title

      情報科学リサーチジャーナル

      Volume: Vol.20 Pages: 97-104

    • NAID

      40019638701

    • Related Report
      2013 Final Research Report
  • [Journal Article] Design and Implementation of New Generation Data Format for Lunar and Planetary Exploration2012

    • Author(s)
      T. Suzuki, J. Terazono and T. Hayashi
    • Journal Title

      Transaction of JSASS, Aerospace Technology Japan

      Volume: 10

    • NAID

      130003373361

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Presentation] Design and Implementation of New Generation Data Format for Lunar and Planetary Exploration2011

    • Author(s)
      Taro Suzuki, Jun'ya Terazono and Takafumi Hayashi
    • Organizer
      The 28th International Symposium on Space Technology and Science
    • Related Report
      2013 Final Research Report
  • [Presentation] Design and Implementation of New Generation Data Format for Lunar and Planetary Exploration2011

    • Author(s)
      Taro Suzuki, Jun'ya Terazono, Takafumi Hayashi
    • Organizer
      the 28th International Symposium on Space Technology and Science
    • Place of Presentation
      沖縄県宜野湾市
    • Related Report
      2011 Research-status Report
  • [Remarks] テクニカルレポートSatoshi Okui and Taro Suzuki. Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions, Technical Report No.2013-002, The University of Aizu (2013)

    • Related Report
      2013 Final Research Report

URL: 

Published: 2011-08-05   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi