Abstract: Several XML Schema type validation algorithms are introduced. In them, one algorithm based on tree automata is researched deeply. Aiming at the problem in process of validating XML document with nesting complex type, an improved algorithm is proposed, which adds a processing state label for each end mark. The data types expressed by XML documents are validated. Through the experiment, its performances are tested, and the results show this algorithm is effect.

Key words: tree automata, XML Schema mode, type, validation

摘要： 介绍几种XML Schema类型验证算法，并对其中基于树自动机的算法进行研究，针对它在验证嵌套复杂类型XML文档过程中存在的问题，提出一种改进算法，为每个终结符增设一个处理状态标志，从而对以XML文档表示的数据类型进行验证。通过实验测试其性能，结果表明该算法是有效的。

关键词: 树自动机, XML Schema模式, 类型, 验证

CLC Number: 

• TP301