2010 Fiscal Year Final Research Report
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 The University of Tokyo, 大学院・情報理工学系研究科, 講師 (50335296)
|
|---|
| Project Period (FY) |
2007 – 2010
|
| 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.
|
