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

A Context-Preserving Fusion Transformation for a Graph Query Language used in Data Integration

Research Project

Project/Area Number 23500055
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Software
Research InstitutionNational Institute of Informatics

Principal Investigator

KATO Hiroyuki  国立情報学研究所, コンテンツ科学研究系, 助教 (10321580)

Project Period (FY) 2011-04-28 – 2015-03-31
Project Status Completed (Fiscal Year 2014)
Budget Amount *help
¥3,120,000 (Direct Cost: ¥2,400,000、Indirect Cost: ¥720,000)
Fiscal Year 2013: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2012: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2011: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywords関数型言語 / 融合変換 / 副作用 / XQuery / 最適化 / 問合せ最適化 / アルゴリズム / グラフ問合せ
Outline of Final Research Achievements

In this research, context-preserving fusion has been developed. So far, fusion transformation works only for side-effect free languages. However, XQuery, which is a query language to XML data, has a side-effect when it is typically used in data integration settings. Most of real world entities can be represented in graph structures. XQuery can handle graph structures. In this work, a sound context-preserving XQuery fusion has been developed. Also, the class of the queries and the schema has been investigated to show the completeness of the fusion.

Report

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

    (26 results)

All 2014 2013 2012 2011 Other

All Journal Article (11 results) (of which Peer Reviewed: 4 results) Presentation (15 results)

  • [Journal Article] Context-Preserving XQuery Fusion2014

    • Author(s)
      Hiroyuki Kato, Soichiro HIdaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
    • Journal Title

      Mathematical Structure in Computer Science (MSCS)

      Volume: 未定

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] Optimization for iterative queries on MapReduce2013

    • Author(s)
      鬼塚真、加藤弘之、日高宗一郎、中野圭介、胡振江
    • Journal Title

      Proceedings of the VLDB Endowment (PVLDB)

      Volume: 7(4) Pages: 241-252

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations2013

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

      Progress in Informatics, Special Issue: Advanced Programming Techniques for Construction of Robust, General and Evolutionary Programs

      Volume: 10 Pages: 131-148

    • Related Report
      2013 Research-status Report 2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] Parameterized Graph Transformation Languages with Monads2012

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

      GRACE Technical Report (GRACE-TR-2012-07)

      Volume: 2012-07 Pages: 3-23

    • Related Report
      2012 Research-status Report
  • [Journal Article] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012

    • Author(s)
      中野圭介,日高宗一郎,胡振江,稲葉一浩,加藤弘之,
    • Journal Title

      コンピューターソフトウェア

      Volume: 29(2) Pages: 174-192

    • NAID

      130004549266

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [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

    • Related Report
      2011 Research-status Report
  • [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

    • Related Report
      2011 Research-status Report
  • [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

    • Related Report
      2011 Research-status Report
  • [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

    • Related Report
      2011 Research-status Report
  • [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

    • Related Report
      2011 Research-status Report
  • [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

    • Related Report
      2011 Research-status Report
  • [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
    • Related Report
      2011 Research-status Report
  • [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
    • Related Report
      2011 Research-status Report
  • [Presentation] Incremental Graph View Maintenance2011

    • Author(s)
      Hiroyuki Kato
    • Organizer
      2nd NII-PKU International Joint Workshop on Advanced Software Engineering
    • Place of Presentation
      ラフォーレ強羅、 神奈川県
    • Related Report
      2011 Research-status Report
  • [Presentation] GRoundTramによるATLの双方向化の実現2011

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

    • Author(s)
      加藤弘之 鬼塚真 日高宗一郎 中野圭介 胡振江
    • Organizer
      日本ソフトウェア科学会第28回大会
    • Place of Presentation
      沖縄産業支援センター、沖縄県
    • Related Report
      2011 Research-status Report
  • [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
    • Related Report
      2011 Research-status Report
  • [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
    • Related Report
      2011 Research-status Report
  • [Presentation] Structural Recursion for Querying Ordered Graphs

    • Author(s)
      日高宗一郎、浅田和之、胡振江、加藤弘之、中野圭介
    • Organizer
      18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013)
    • Place of Presentation
      Hilton Boston logan Airport Hotel, Boston, USA
    • Related Report
      2013 Research-status Report
  • [Presentation] A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches

    • Author(s)
      浅田和之、日高宗一郎、加藤弘之、胡振江、中野圭介
    • Organizer
      15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013)
    • Place of Presentation
      Computer Science Faculty of the Complutense University of Madrid,Spain
    • Related Report
      2013 Research-status Report
  • [Presentation] A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches

    • Author(s)
      浅田和之、日高宗一郎、加藤弘之、胡振江、中野圭介
    • Organizer
      日本ソフトウェア科学会第30回大会
    • Place of Presentation
      東京大学本郷キャンパス,東京都
    • Related Report
      2013 Research-status Report
  • [Presentation] An Experimental Implementation of Self-adjusting Bidirectional Transformations

    • Author(s)
      Vo Huu-Phuc、加藤弘之、日高宗一郎、胡振江
    • Organizer
      日本ソフトウェア科学会第30回大会
    • Place of Presentation
      東京大学本郷キャンパス,東京都
    • Related Report
      2013 Research-status Report
  • [Presentation] Query Reformulation in XML Data Integration Systems

    • Author(s)
      加藤弘之
    • Organizer
      3rd Asian Workshop on Advanced Software Engineering
    • Place of Presentation
      Temasek Labs in National University of Singapore, Singapore
    • Related Report
      2013 Research-status Report
  • [Presentation] Structural Recursion for Querying Ordered Graphs

    • Author(s)
      Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
    • Organizer
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)
    • Place of Presentation
      御宿東鳳,福島県
    • Related Report
      2013 Research-status Report
  • [Presentation] Structural Recursion for Querying Ordered Graphs

    • Author(s)
      Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
    • Organizer
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013), カテゴリ1
    • Place of Presentation
      御宿 東鳳 (福島県)
    • Related Report
      2012 Research-status Report
  • [Presentation] Structural Recursion on Ordered Graphs

    • Author(s)
      Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
    • Organizer
      日本ソフトウェア科学会第29回大会
    • Place of Presentation
      法政大学小金井キャンパス(東京都)
    • Related Report
      2012 Research-status 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