Precise and Fast XML typechecking algorithm based on transducer theory

• Project/Area Number: 19700007
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: Fundamental theory of informatics
• Research Institution: The University of Tokyo
• Principal Investigator: HOSOYA Haruo (HARUO Hosoya) The University of Tokyo, 大学院・情報理工学系研究科, 講師 (50335296)
• Project Period (FY): 2007 – 2010
• Project Status: Completed (Fiscal Year 2010)
• Budget Amount: ¥3,920,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥720,000); Fiscal Year 2010: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2009: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2008: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2007: ¥800,000 (Direct Cost: ¥800,000)
• Keywords: 計算機言語 / XML / オートマトン / ツリーオートマトン / ツリートランスデューサ / 型検査 / ツリ-オートマトン / ツリ-トランスデューサ

Research Abstract

Research has been conducted on typechecking and related techniques for languages specialized to processing of XML, an international standard data format. In order to treat the special functionality of XML called schemas, theory of tree transducers has been exploited and an efficient typechecking algorithm has been developed by using alternating tree automata. Furthermore, transducers extended with multiple return values, XML query based on monadic second-order logic, and XML polymorphism have also been studied. All these results have been summarized in a monograph written in English.

Research Products

• [Journal Article] Compact representation for answer sets of n-ary regular queries. (2010)
  • Author(s): Kazuhiro Inaba, Haruo Hosoya.
  • Journal Title: Theoretical Computer Science. 411(38-39) Pages: 3481-3492
• [Journal Article] Compact representation for answer sets of n-ary regular queries (2010)
  • Author(s): Kazuhiro Inaba, Haruo Hosoya
  • Journal Title: Theoretical Computer Science Volume: 411(38-39) Pages: 3481-3492
  • Peer Reviewed
• [Journal Article] Parametric polymorphism for XML. (2009)
  • Author(s): Haruo Hosoya, Alain Frisch, Giuseppe Castagna.
  • Journal Title: ACM Transactions on Programming Languages and Systems 32(1)
• [Journal Article] Parametric polymorphism for XML. (2009)
  • Author(s): Haruo Hosoya, Alain Frisch, Giuseppe Castagna
  • Journal Title: ACM Transactions on Programming Languages and Systems 32(1)
• [Journal Article] Parametric Polymorphism for XML (2009)
  • Author(s): H. Hosoya, A. Frisch, G. Castagna
  • Journal Title: ACM Transactions on Programming Languages and Systems (印刷中) (掲載確定)
  • Peer Reviewed
• [Presentation] Compact Representation for Answer Sets of n-ary Regular Queries (2009)
  • Author(s): Kazuhiro Inaba, Haruo Hosoya
  • Organizer: Conference on Implementation and Application of Automata
  • Place of Presentation: シドニー(オーストラリア)
  • Year and Date: 2009-07-14
• [Presentation] Compact representation for answer sets of n-ary regular queries. (2009)
  • Author(s): Kazuhiro Inaba, Haruo Hosoya.
  • Organizer: In Proceedings of Conference on Implementation and Applications of Automata (CIAA), pages 94-104
• [Presentation] Compact representation for answer sets of n-ary regular queries. (2009)
  • Author(s): Kazuhiro Inaba, Haruo Hosoya
  • Organizer: In Proceedings of Conference on Implementation and Applications of Automata (CIAA)
• [Presentation] Multi-Return Macro Tree Transducers (2008)
  • Author(s): K. Inaba, H. Hosoya, S. Maneth
  • Organizer: International Conference on Implementation and Applications of Automat
  • Place of Presentation: サンフランシスコ
  • Year and Date: 2008-07-23
• [Presentation] Multi-retum macro tree transducers (2008)
  • Author(s): Kazuhiro Inaba, Haruo Hosoya, Sebastian Maneth
  • Organizer: Conference on Implementation and Application of Automata (CIAA)
  • Place of Presentation: サンフランシスコ
  • Year and Date: 2008-07-23
• [Presentation] Multi-return macro tree transducers. (2008)
  • Author(s): Kazuhiro Inaba, Haruo Hosoya, Sebastian Maneth.
  • Organizer: In Proceedings of Conference on Implementation and Applications of Automata (CIAA), pages 102-111
• [Presentation] Multi-return macro tree transducers. (2008)
  • Author(s): Kazuhiro Inaba, Haruo Hosoya.
  • Organizer: In Programming Language Technologies for XML (PLAN-X)
• [Presentation] Multi-return macro tree transducers (2008)
  • Author(s): Kazuhiro Inaba, Haruo Hosoya, Sebastian Maneth
  • Organizer: In Proceedings of Conference on Implementation and Applications of Automata (CIAA)
• [Presentation] Multi-return macro tree transducers. (2008)
  • Author(s): Kazuhiro Inaba, Haruo Hosoya
  • Organizer: In Programming Language Technologies for XML (PLAN-X)
• [Presentation] Towards practial typechecking for macro tree transducers. (2007)
  • Author(s): Alain Frisch, Haruo Hosoya.
  • Organizer: In DBPL, pages 246-260
• [Presentation] XML transformation language based on monadic second-order logic. (2007)
  • Author(s): Kazuhiro Inaba, Haruo Hosoya.
  • Organizer: In Programming Language Technologies for XML (PLAN-X), pages 49-60
• [Presentation] Towards practial typechecking for macro tree transducers. (2007)
  • Author(s): Alain Frisch, Haruo Hosoya
  • Organizer: In DBPL
• [Presentation] XML transformation language based on monadic second-order logic. (2007)
  • Author(s): Kazuhiro Inaba, Haruo Hosoya
  • Organizer: In Programming Language Technologies for XML (PLAN-X)
• [Book] Foundations of XML Processing : The Tree-automata Approach. (2010)
  • Author(s): Haruo Hosoya
  • Total Pages: 238
  • Publisher: Cambridge University Press
• [Book] Foundations of XML Processing : The Tree-automata Approach (2010)
  • Author(s): Haruo Hosoya
  • Total Pages: 238
  • Publisher: Cambridge University Press
• [Remarks] ホームページ等