トランスデューサ理論による厳密かつ高速なXML型検査アルゴリズム

2010 年度 研究成果報告書

• 研究課題/領域番号: 19700007
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: 情報学基礎
• 研究機関: 東京大学
• 研究代表者: 細谷 晴夫 東京大学, 大学院・情報理工学系研究科, 講師 (50335296)
• 研究期間 (年度): 2007 – 2010
• キーワード: 計算機言語 / XML / オートマトン

研究概要

国際標準データ形式XMLを専門に扱うデータ変換言語のために、実行前に誤りを発見できる型検査とそれに関連する技術を研究した。スキーマというXMLの特殊な機能を厳密に扱うため、ツリートランスデューサ理論を用い、また積オートマトンを使って高速な型検査アルゴリズムを開発した。さらに、トランスデューサの複数の返り値による拡張、二階述語論理によるXML問い合わせ、XML多相型の研究も行った。成果の集大成を英文著書にまとめた。

研究成果

• [雑誌論文] Compact representation for answer sets of n-ary regular queries. (2010)
  • 著者名/発表者名: Kazuhiro Inaba, Haruo Hosoya.
  • 雑誌名: Theoretical Computer Science. 411(38-39) ページ: 3481-3492
• [雑誌論文] Parametric polymorphism for XML. (2009)
  • 著者名/発表者名: Haruo Hosoya, Alain Frisch, Giuseppe Castagna.
  • 雑誌名: ACM Transactions on Programming Languages and Systems 32(1) ページ: 2:1-2:56
• [学会発表] Compact representation for answer sets of n-ary regular queries. (2009)
  • 著者名/発表者名: Kazuhiro Inaba, Haruo Hosoya.
  • 学会等名: In Proceedings of Conference on Implementation and Applications of Automata (CIAA), pages 94-104
  • 年月日: 20090000
• [学会発表] Multi-return macro tree transducers. (2008)
  • 著者名/発表者名: Kazuhiro Inaba, Haruo Hosoya, Sebastian Maneth.
  • 学会等名: In Proceedings of Conference on Implementation and Applications of Automata (CIAA), pages 102-111
  • 年月日: 20080000
• [学会発表] Multi-return macro tree transducers. (2008)
  • 著者名/発表者名: Kazuhiro Inaba, Haruo Hosoya.
  • 学会等名: In Programming Language Technologies for XML (PLAN-X)
  • 年月日: 20080000
• [学会発表] Towards practial typechecking for macro tree transducers. (2007)
  • 著者名/発表者名: Alain Frisch, Haruo Hosoya.
  • 学会等名: In DBPL, pages 246-260
  • 年月日: 20070000
• [学会発表] XML transformation language based on monadic second-order logic. (2007)
  • 著者名/発表者名: Kazuhiro Inaba, Haruo Hosoya.
  • 学会等名: In Programming Language Technologies for XML (PLAN-X), pages 49-60
  • 年月日: 20070000
• [図書] Foundations of XML Processing : The Tree-automata Approach. (2010)
  • 著者名/発表者名: Haruo Hosoya
  • 総ページ数: 238
  • 出版者: Cambridge University Press
• [備考] ホームページ等