XML数据类型验证算法的改进

Improvement of XML Data Type Validation Algorithm

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

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.