ルールベースプログラミングのXMLの検証と処理への応用

2010 年度 研究成果報告書

• 研究課題/領域番号: 20500025
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 筑波大学
• 研究代表者: マリン ミルチア 筑波大学, 大学院・システム情報工学研究科, 講師 (60396603)
• 研究分担者: 井田 哲雄 筑波大学, 大学院・システム情報工学研究科, 教授 (70100047) ; 南出 靖彦 筑波大学, 大学院・システム情報工学研究科, 准教授 (50252531)
• 研究期間 (年度): 2008 – 2010
• キーワード: XML / ルールベースプログラミング

研究概要

妥当なXML文書の仕様モデルとしての正則生垣言語(RHL:Regular Hedge Language)に関する研究を行い,非線形正則生垣パターンをXML問い合わせ言語として用いる可能性を探った.RHLの新しい表現方法および積集合,商集合,product derivative,factorを計算する新しいアルゴリズムを提案した.非線形正規表現パターン内のすべての変数の組の型に対する健全かつ完全な型推論アルゴリズムの構成に,RHL factorizationをどのように適用するかを示した.

研究成果

• [雑誌論文] On the Computation of Quotients and Factors of Regular Languages. (2010)
  • 著者名/発表者名: M.Marin, T.Kutsia.
  • 雑誌名: Frontiers of Computer Science in China. 4(2) ページ: 173-184
  • 査読あり
• [雑誌論文] Regular Hedge Language Factorization Revisited. (2010)
  • 著者名/発表者名: M.Marin, T.Kutsia.
  • 雑誌名: Proceedlngs of the 14^<th> Intl.Conference on Developments in Language Theory (DLT 2010).(Sheng Yu, editor)(London, Ontario, Canada.LNCS 6224) Springer ページ: 328-339
  • 査読あり
• [雑誌論文] Type inference for regular expression pattern matching. (2010)
  • 著者名/発表者名: M.Marin, A.Craciun.
  • 雑誌名: Procs.of SYNASC' 2010, Timisoara, Romania(T.Ida, V.Negru, T.Jebelean, D.Petcu, S.Watt, D.Zaharie, editors)(IEEE Computer Society) ページ: 366-276
  • 査読あり
• [雑誌論文] Factorizations of regular hedge languages. (2010)
  • 著者名/発表者名: M.Marin, A.Craciun.
  • 雑誌名: Procs.of SYN-ASC' 2009. Timisoara, Romania(S.Watt, V.Negru, T.Ida, T.Jebelean, D.Petcu, D.Zaharie, editors)(IEEE Computer Society.)
  • 査読あり
• [雑誌論文] Strategies in PpLog. (2010)
  • 著者名/発表者名: B.Dundua, T.Kutsia, M.Marin.
  • 雑誌名: PNTCS 15 ページ: 32-43
  • 査読あり
• [雑誌論文] Linear Systems for Regular Hedge Languages. (2009)
  • 著者名/発表者名: M.Marin, T.Kutsia.
  • 雑誌名: ADBIS 2009.(J.Grundspenkis, M.Kirikova, Y.Manoloupoulos, L.Novickis, editors)(Revised Selected Papers. Riga, Latvia. LNCS 5968) ページ: 104-112
  • 査読あり
• [雑誌論文] Order-sorted Unification with Regular Expression Sorts.
  • 著者名/発表者名: T.Kutsia, M.Marin.
  • 雑誌名: Proceedings of the 21^<st> Internatlonal Conference on Rewri ting Techniques and Applications (RTA 2010), July 11-13, 2010, Edinburgh UK.Vol.6 of the Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl, Germany(Ch.Lynch, editor) ページ: 193-208
  • 査読あり
• [学会発表] Order-sorted unification with regular expression sorts. (2009)
  • 著者名/発表者名: T.Kutsia, M.Marin.
  • 学会等名: Procs.of UNIF 2009.(Ch.Lynch, P.Narendran, editors)
  • 発表場所: Montreal, Canada.
  • 年月日: 2009-08-02
• [学会発表] Matching with Membership Constraints for Hedge and Context Variables. (2008)
  • 著者名/発表者名: M.Marin, T.Kutsia.
  • 学会等名: Procs.of UNIF 2008, pp.55-68.(M.Marin, editor)
  • 発表場所: Castle of Hagenberg, Austria.
  • 年月日: 2008-07-18
• [備考] ホームページ等
  • URL: http://www2.score.cs.tsukuba.ac.jp/projects/RBPforXML