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

2011 Fiscal Year Research-status Report

グラフ構造を対象としたデータ統合問題解決のための文脈を保存する融合変換の開発

Research Project

Project/Area Number 23500055
Research InstitutionNational Institute of Informatics

Principal Investigator

加藤 弘之  国立情報学研究所, コンテンツ科学研究系, 助教 (10321580)

Project Period (FY) 2011-04-28 – 2014-03-31
Keywordsグラフ問合せ
Research Abstract

グラフ問合せ言語UnQLを拡張し,構造に関する副作用を扱えるようにするための,様々な調査を行った.具体的には,根付きのグラフ構造を対象とし,逆向きエッジやサイクルを表現するための特別なエッジの存在価値について,調査を行った.そのために,データの静的構造とデータを操作するための代数構造が別のものとして設計することを目指した.これは,XPathの設計が,静的には木構造であるがデータを操作する代数構造はグラフを表現しているからである.具体的には,元来順序が定義されていないUnQLが対象とするグラフに順序を導入し,構造再帰を最小限の修正として集合和を連結に,単位元を空集合から空リストにしたもとで,計算の意味を与えた.その結果,ストリーミングデータを表現可能となったが,その一方でオートマトンのε遷移に相当する,εエッジを全て削除することができないことが判明した.また,この拡張によって,文書の目次を作成するような,入力の順序を保持する変換は記述できるが,入力順序を条件とした変換や,順序を変更するような順序に関する副作用は記述できないことも判明した.対象としているグラフ問合せ言語は,双模倣を用いて等価性を定義しており,等価なグラフの演算結果は等価なものになるという,双模倣不変という重要な性質を満たしているが,構造再帰の記述能力を増大させると,双模倣不変を維持することが非常に難しくなってしまうことも判明した.

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

グラフ問合せの調査をして,対象となる問合せ言語の候補をしぼりこんだので,おおむね順調に進展している.

Strategy for Future Research Activity

当初の計画通り,順序や合流,サイクルに関する副作用が対象言語で記述できるように拡張する予定である.

Expenditure Plans for the Next FY Research Funding

当初の予定通り,ノートPCの購入と国内外旅費,学術雑誌掲載費に使用する予定である.

  • Research Products

    (13 results)

All 2012 2011

All Journal Article (6 results) Presentation (7 results)

  • [Journal Article] Towards Bidirectional Transformations on Ordered Graphs2011

    • Author(s)
      Soichiro Hidaka, Kazuyuki Asada, Hiroyuki Kato, Keisuke Nakano, Zhenjiang Hu
    • Journal Title

      Technical Report, Grace Center,National Institute of Informatics(GRACE-TR-2011-07)

      Volume: 2011-07 Pages: 1~24

  • [Journal Article] Marker-directed Optimization of UnCAL Graph Transformations (revised version)2011

    • Author(s)
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano
    • Journal Title

      GRACE Technical Report (GRACE-TR-2011-06)

      Volume: 2011-06 Pages: 1~26

  • [Journal Article] blinkit: Maintaining Invariant Traceability through Bidirectional Transformations - A Technical Report2011

    • Author(s)
      Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, and Lionel Montrieux
    • Journal Title

      Technical Reports at the Centre for Research in Computing, Faculty of Mathematics, Computing and Technology, The Open University

      Volume: 2011(09) Pages: 1~14

  • [Journal Article] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations2011

    • Author(s)
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
    • Journal Title

      GRACE Technical Report (GRACE-TR-2011-05)

      Volume: 2011-05 Pages: 1~10

  • [Journal Article] Marker-directed Optimization of UnCAL Graph Transformations2011

    • Author(s)
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano
    • Journal Title

      GRACE Technical Report (GRACE-TR-2011-02)

      Volume: 2011-02 Pages: 1~20

  • [Journal Article] Simulation-based Graph Schema for View Updatability Checking of Graph Queries2011

    • Author(s)
      Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
    • Journal Title

      GRACE Technical Report (GRACE-TR-2011-01)

      Volume: 2011-01 Pages: 1~20

  • [Presentation] (発表確定)blinkit: Maintaining Invariant Traceability through Bidirectional Transformations2012

    • Author(s)
      Yijun Yu, Yu Lin,Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux
    • Organizer
      34th International Conference on Software Engineering (ICSE 2012)
    • Place of Presentation
      The Kongresshaus, Zurich, Switzerland
    • Year and Date
      2012年6月7日
  • [Presentation] GRoundTramによるATLの双方向化の実現2011

    • Author(s)
      篠埜 功 胡 振江 日高 宗一郎 稲葉 一浩 加藤 弘之 中野 圭介
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄産業支援センター、 沖縄県
    • Year and Date
      2011年9月29日
  • [Presentation] 漸進的グラフビュー維持の枠組みの提案2011

    • Author(s)
      加藤弘之 鬼塚真 日高宗一郎 中野圭介 胡振江
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄産業支援センター、沖縄県
    • Year and Date
      2011年9月29日
  • [Presentation] Graph-transformation verification using monadic second-order logic2011

    • Author(s)
      Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
    • Organizer
      13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
    • Place of Presentation
      University of Southern Denmark, Odense, Denmark
    • Year and Date
      2011年7月20日
  • [Presentation] Marker-directed Optimization of UnCAL Graph Transformations2011

    • Author(s)
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano
    • Organizer
      21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011) (also accepted as formal proceedings paper as LNCS vol. 7225)
    • Place of Presentation
      University of Southern Denmark, Odense, Denmark
    • Year and Date
      2011年7月19日
  • [Presentation] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations2011

    • Author(s)
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, and Keisuke Nakano
    • Organizer
      26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
    • Place of Presentation
      The Oread, Lawrence, U.S.A
    • Year and Date
      2011年11月9日
  • [Presentation] Incremental Graph View Maintenance2011

    • Author(s)
      Hiroyuki Kato
    • Organizer
      2nd NII-PKU International Joint Workshop on Advanced Software Engineering
    • Place of Presentation
      ラフォーレ強羅、 神奈川県
    • Year and Date
      2011年10月23日

URL: 

Published: 2013-07-10  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi