XML是可扩展标记语言的简称，它为Web上的结构化文档和数据提供了通用的格式。随着Internet的发展尤其是Web技术的广泛应用，越来越多的应用采用了XML技术作为信息表示和数据交换的标准，这使得通过数据库技术对XML数据进行管理变得越来越重要。 在关于XML的数据管理技术中，数据验证是比较重要、且使用比较频繁的组成部分，在维护数据安全和有效性方面扮演着十分重要的角色。XMLSchema作为描述XML的新的W3C推荐标准，以其丰富的数据类型和灵活的结构描述等优点，被许多系统所使用，越来越多的人开始研究基于XMLSchema的数据验证技术。 针对XMLSchema规范中规定的复杂数据类型的结构描述，本文提出了一种称为模式自动机(SchemaAutomaton)的数据结构，讨论了将XML模式结构转换成模式自动机的方法，设计并实现了一种自动机验证算法来验证实例XML文档的有效性，以解决XML结构正则表达式验证的问题。自动机验证算法可以在模式空间内高效地验证每一个获得的XML数据，因此具有很高的效率。