基于XML Schema的文档验证技术研究-计算机应用技术专业论文.docxVIP

东北大学硕士学位论文 东北大学硕士学位论文 摘要 基于XML Schema的文档验证技术研究 摘 要 XML是可扩展标记语言的简称，它为Web上的结构化文档和数据提供了通用 的格式。随着Intemet的发展尤其是Web技术的广泛应用，越来越多的应用采用了 XML技术作为信息表示和数据交换的标准，这使得通过数据库技术对XML数据 进行管理变得越来越重要。 在关于XML的数据管理技术中，数据验证是比较重要、且使用比较频繁的组 成部分，在维护数据安全和有效性方面扮演着十分重要的角色。XML Schema作为 描述XML的新的W3C推荐标准，以其丰富的数据类型和灵活的结构描述等优点， 被许多系统所使用，越来越多的人开始研究基于XMLSchema的数据验证技术。 针对XML Schema规范中规定的复杂数据类型的结构描述，本文提出了一种 称为模式自动机(Schema Automaton)的数据结构，讨论了将XML模式结构转换成 模式自动机的方法，设计并实现了一种自动机验证算法来验证实例XML文档的有 效性，以解决XML结构正则表达式验证的问题。自动机验证算法可以在模式空间 内高效地验证每一个获得的XML数据，因此具有很高的效率。 关键词：可扩展标记语言，自动机，模式自动机，XML文档验证 ·II· 东北大学硕士学位论文 东北大学硕士学位论文 Abstract Study on Document Validation Technique Based on XML Schema Abstract XML is short for Extensible Markup Language and provides general format for describing structured documents and data the Web．With the development of Internet，especially widely use of Web technology，XML technique has been increasingly adopted as standard language for information representation and data exchange by applications．Therefore，it becomes more and more important to manage XML data through Oatabases In management techniques 0n XML，data validation is important and widely used component and it plays crucial role in data security and data availability．As new W3C recommendation，XML Schema is used by many applications due to its prolific data types and flexible structures．Many researchers begin to research the technique of data validation based XML Schema． This thesis proposes data structure，Schema Automaton，to des,ribe complex data types a轻‘l regular structures in XML Schema，discusses the method of transforming XML Schema into Schema Automaton，designs and implements an automaton validation algorithm to validate XML instance documents to solve the validation problem of XML regular expressions．Since the automaton validation algorithm can validate every XML documents within XML schema spaces，it has very high performance． Key wo