Applications of rule-based programming to verification and transformation of XML

2010 Fiscal Year Final Research Report

• Project/Area Number: 20500025
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Software
• Research Institution: University of Tsukuba
• Principal Investigator: MARIN Mircea University of Tsukuba, 大学院・システム情報工学研究科, 講師 (60396603)
• Co-Investigator(Kenkyū-buntansha): IDA Tetsuo 筑波大学, 大学院・システム情報工学研究科, 教授 (70100047) ; MINAMIDE Yasuhiko 筑波大学, 大学院・システム情報工学研究科, 准教授 (50252531)
• Project Period (FY): 2008 – 2010
• Keywords: XML / ルールベースプログラミング

Research Abstract

We studied regular hedge languages (RHLs) as specification models of valid XML documents, and the possibility to use nonlinear regular hedge expression patterns to define a pattern-based query language for XML. We proposed new representations of RHLs, and algorithms for the computation of intersection, quotient, product derivative, and factors of RHLs. We have shown how to use RHL factorization to define a sound and complete type inference algorithm for the tuple of all variables in a nonlinear regular hedge expression pattern.

Research Products

• [Journal Article] On the Computation of Quotients and Factors of Regular Languages. (2010)
  • Author(s): M.Marin, T.Kutsia.
  • Journal Title: Frontiers of Computer Science in China. 4(2) Pages: 173-184
  • Peer Reviewed
• [Journal Article] Regular Hedge Language Factorization Revisited. (2010)
  • Author(s): M.Marin, T.Kutsia.
  • Journal Title: Proceedlngs of the 14^<th> Intl.Conference on Developments in Language Theory (DLT 2010).(Sheng Yu, editor)(London, Ontario, Canada.LNCS 6224) Springer Pages: 328-339
  • Peer Reviewed
• [Journal Article] Type inference for regular expression pattern matching. (2010)
  • Author(s): M.Marin, A.Craciun.
  • Journal Title: Procs.of SYNASC' 2010, Timisoara, Romania(T.Ida, V.Negru, T.Jebelean, D.Petcu, S.Watt, D.Zaharie, editors)(IEEE Computer Society) Pages: 366-276
  • Peer Reviewed
• [Journal Article] Factorizations of regular hedge languages. (2010)
  • Author(s): M.Marin, A.Craciun.
  • Journal Title: Procs.of SYN-ASC' 2009. Timisoara, Romania(S.Watt, V.Negru, T.Ida, T.Jebelean, D.Petcu, D.Zaharie, editors)(IEEE Computer Society.)
  • Peer Reviewed
• [Journal Article] Strategies in PpLog. (2010)
  • Author(s): B.Dundua, T.Kutsia, M.Marin.
  • Journal Title: PNTCS 15 Pages: 32-43
  • Peer Reviewed
• [Journal Article] Linear Systems for Regular Hedge Languages. (2009)
  • Author(s): M.Marin, T.Kutsia.
  • Journal Title: ADBIS 2009.(J.Grundspenkis, M.Kirikova, Y.Manoloupoulos, L.Novickis, editors)(Revised Selected Papers. Riga, Latvia. LNCS 5968) Pages: 104-112
  • Peer Reviewed
• [Journal Article] Order-sorted Unification with Regular Expression Sorts.
  • Author(s): T.Kutsia, M.Marin.
  • Journal Title: 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) Pages: 193-208
  • Peer Reviewed
• [Presentation] Order-sorted unification with regular expression sorts. (2009)
  • Author(s): T.Kutsia, M.Marin.
  • Organizer: Procs.of UNIF 2009.(Ch.Lynch, P.Narendran, editors)
  • Place of Presentation: Montreal, Canada.
  • Year and Date: 2009-08-02
• [Presentation] Matching with Membership Constraints for Hedge and Context Variables. (2008)
  • Author(s): M.Marin, T.Kutsia.
  • Organizer: Procs.of UNIF 2008, pp.55-68.(M.Marin, editor)
  • Place of Presentation: Castle of Hagenberg, Austria.
  • Year and Date: 2008-07-18
• [Remarks] ホームページ等
  • URL: http://www2.score.cs.tsukuba.ac.jp/projects/RBPforXML