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

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

研究課題

研究課題/領域番号 23500055
研究種目

基盤研究(C)

配分区分基金
応募区分一般
研究分野 ソフトウエア
研究機関国立情報学研究所

研究代表者

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

研究期間 (年度) 2011-04-28 – 2015-03-31
研究課題ステータス 完了 (2014年度)
配分額 *注記
3,120千円 (直接経費: 2,400千円、間接経費: 720千円)
2013年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2012年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2011年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
キーワード関数型言語 / 融合変換 / 副作用 / XQuery / 最適化 / 問合せ最適化 / アルゴリズム / グラフ問合せ
研究成果の概要

副作用のない純粋な関数型言語の分野で開発された、プログラム変換技術の一つである「融合変換」に、副作用を有する言語に適用可能なものに拡張するためのアルゴリズムを与えた。特にデータモデルとしてグラフ構造を対象とした言語を用いる。グラフ構造は、現実世界の実体を直接かつ自然に表現できるデータ構造であるからである。研究代表者が既に開発した木構造を対象とした副作用を有する言語であるXQueryはグラフ構造も扱うことができるため、この言語に対する健全な融合変換を与えた。また、完全性を示すためのスキーマのクラスと問合せ言語のクラスを示した。

報告書

(5件)
  • 2014 実績報告書   研究成果報告書 ( PDF )
  • 2013 実施状況報告書
  • 2012 実施状況報告書
  • 2011 実施状況報告書
  • 研究成果

    (26件)

すべて 2014 2013 2012 2011 その他

すべて 雑誌論文 (11件) (うち査読あり 4件) 学会発表 (15件)

  • [雑誌論文] Context-Preserving XQuery Fusion2014

    • 著者名/発表者名
      Hiroyuki Kato, Soichiro HIdaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
    • 雑誌名

      Mathematical Structure in Computer Science (MSCS)

      巻: 未定

    • 関連する報告書
      2012 実施状況報告書
    • 査読あり
  • [雑誌論文] Optimization for iterative queries on MapReduce2013

    • 著者名/発表者名
      鬼塚真、加藤弘之、日高宗一郎、中野圭介、胡振江
    • 雑誌名

      Proceedings of the VLDB Endowment (PVLDB)

      巻: 7(4) ページ: 241-252

    • 関連する報告書
      2013 実施状況報告書
    • 査読あり
  • [雑誌論文] GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations2013

    • 著者名/発表者名
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
    • 雑誌名

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

      巻: 10 ページ: 131-148

    • 関連する報告書
      2013 実施状況報告書 2012 実施状況報告書
    • 査読あり
  • [雑誌論文] Parameterized Graph Transformation Languages with Monads2012

    • 著者名/発表者名
      Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato Zhenjiang Hu and Keisuke Nakano
    • 雑誌名

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

      巻: 2012-07 ページ: 3-23

    • 関連する報告書
      2012 実施状況報告書
  • [雑誌論文] 模倣に基づくグラフスキーマを利用したビュー更新可能性判定2012

    • 著者名/発表者名
      中野圭介,日高宗一郎,胡振江,稲葉一浩,加藤弘之,
    • 雑誌名

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

      巻: 29(2) ページ: 174-192

    • NAID

      130004549266

    • 関連する報告書
      2012 実施状況報告書
    • 査読あり
  • [雑誌論文] Towards Bidirectional Transformations on Ordered Graphs2011

    • 著者名/発表者名
      Soichiro Hidaka, Kazuyuki Asada, Hiroyuki Kato, Keisuke Nakano, Zhenjiang Hu
    • 雑誌名

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

      巻: 2011-07 ページ: 1-24

    • 関連する報告書
      2011 実施状況報告書
  • [雑誌論文] Marker-directed Optimization of UnCAL Graph Transformations (revised version)2011

    • 著者名/発表者名
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano
    • 雑誌名

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

      巻: 2011-06 ページ: 1-26

    • 関連する報告書
      2011 実施状況報告書
  • [雑誌論文] blinkit: Maintaining Invariant Traceability through Bidirectional Transformations - A Technical Report2011

    • 著者名/発表者名
      Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, and Lionel Montrieux
    • 雑誌名

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

      巻: 2011(09) ページ: 1-14

    • 関連する報告書
      2011 実施状況報告書
  • [雑誌論文] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations2011

    • 著者名/発表者名
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
    • 雑誌名

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

      巻: 2011-05 ページ: 1-10

    • 関連する報告書
      2011 実施状況報告書
  • [雑誌論文] Marker-directed Optimization of UnCAL Graph Transformations2011

    • 著者名/発表者名
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano
    • 雑誌名

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

      巻: 2011-02 ページ: 1-20

    • 関連する報告書
      2011 実施状況報告書
  • [雑誌論文] Simulation-based Graph Schema for View Updatability Checking of Graph Queries2011

    • 著者名/発表者名
      Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
    • 雑誌名

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

      巻: 2011-01 ページ: 1-20

    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] (発表確定)blinkit: Maintaining Invariant Traceability through Bidirectional Transformations2012

    • 著者名/発表者名
      Yijun Yu, Yu Lin,Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux
    • 学会等名
      34th International Conference on Software Engineering (ICSE 2012)
    • 発表場所
      The Kongresshaus, Zurich, Switzerland
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations2011

    • 著者名/発表者名
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, and Keisuke Nakano
    • 学会等名
      26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
    • 発表場所
      The Oread, Lawrence, U.S.A
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] Incremental Graph View Maintenance2011

    • 著者名/発表者名
      Hiroyuki Kato
    • 学会等名
      2nd NII-PKU International Joint Workshop on Advanced Software Engineering
    • 発表場所
      ラフォーレ強羅、 神奈川県
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] GRoundTramによるATLの双方向化の実現2011

    • 著者名/発表者名
      篠埜 功 胡 振江 日高 宗一郎 稲葉 一浩 加藤 弘之 中野 圭介
    • 学会等名
      日本ソフトウェア科学会第28回大会
    • 発表場所
      沖縄産業支援センター、 沖縄県
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] 漸進的グラフビュー維持の枠組みの提案2011

    • 著者名/発表者名
      加藤弘之 鬼塚真 日高宗一郎 中野圭介 胡振江
    • 学会等名
      日本ソフトウェア科学会第28回大会
    • 発表場所
      沖縄産業支援センター、沖縄県
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] Graph-transformation verification using monadic second-order logic2011

    • 著者名/発表者名
      Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
    • 学会等名
      13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011)
    • 発表場所
      University of Southern Denmark, Odense, Denmark
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] Marker-directed Optimization of UnCAL Graph Transformations2011

    • 著者名/発表者名
      Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano
    • 学会等名
      21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011) (also accepted as formal proceedings paper as LNCS vol. 7225)
    • 発表場所
      University of Southern Denmark, Odense, Denmark
    • 関連する報告書
      2011 実施状況報告書
  • [学会発表] Structural Recursion for Querying Ordered Graphs

    • 著者名/発表者名
      日高宗一郎、浅田和之、胡振江、加藤弘之、中野圭介
    • 学会等名
      18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013)
    • 発表場所
      Hilton Boston logan Airport Hotel, Boston, USA
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches

    • 著者名/発表者名
      浅田和之、日高宗一郎、加藤弘之、胡振江、中野圭介
    • 学会等名
      15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013)
    • 発表場所
      Computer Science Faculty of the Complutense University of Madrid,Spain
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] A Parameterized Graph Transformation Calculus for Finite Graphs with Monadic Branches

    • 著者名/発表者名
      浅田和之、日高宗一郎、加藤弘之、胡振江、中野圭介
    • 学会等名
      日本ソフトウェア科学会第30回大会
    • 発表場所
      東京大学本郷キャンパス,東京都
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] An Experimental Implementation of Self-adjusting Bidirectional Transformations

    • 著者名/発表者名
      Vo Huu-Phuc、加藤弘之、日高宗一郎、胡振江
    • 学会等名
      日本ソフトウェア科学会第30回大会
    • 発表場所
      東京大学本郷キャンパス,東京都
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] Query Reformulation in XML Data Integration Systems

    • 著者名/発表者名
      加藤弘之
    • 学会等名
      3rd Asian Workshop on Advanced Software Engineering
    • 発表場所
      Temasek Labs in National University of Singapore, Singapore
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] Structural Recursion for Querying Ordered Graphs

    • 著者名/発表者名
      Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
    • 学会等名
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013)
    • 発表場所
      御宿東鳳,福島県
    • 関連する報告書
      2013 実施状況報告書
  • [学会発表] Structural Recursion for Querying Ordered Graphs

    • 著者名/発表者名
      Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
    • 学会等名
      第15回プログラミングおよびプログラミング言語ワークショップ(PPL 2013), カテゴリ1
    • 発表場所
      御宿 東鳳 (福島県)
    • 関連する報告書
      2012 実施状況報告書
  • [学会発表] Structural Recursion on Ordered Graphs

    • 著者名/発表者名
      Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
    • 学会等名
      日本ソフトウェア科学会第29回大会
    • 発表場所
      法政大学小金井キャンパス(東京都)
    • 関連する報告書
      2012 実施状況報告書

URL: 

公開日: 2011-08-05   更新日: 2019-07-29  

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

Powered by NII kakenhi