基于XML Schema的文檔驗證技術(shù)研究.pdf

1、XML是可擴展標記語言的簡稱，它為Web上的結(jié)構(gòu)化文檔和數(shù)據(jù)提供了通用的格式。隨著Internet的發(fā)展尤其是Web技術(shù)的廣泛應(yīng)用，越來越多的應(yīng)用采用了XML技術(shù)作為信息表示和數(shù)據(jù)交換的標準，這使得通過數(shù)據(jù)庫技術(shù)對XML數(shù)據(jù)進行管理變得越來越重要。 在關(guān)于XML的數(shù)據(jù)管理技術(shù)中，數(shù)據(jù)驗證是比較重要、且使用比較頻繁的組成部分，在維護數(shù)據(jù)安全和有效性方面扮演著十分重要的角色。XMLSchema作為描述XML的新的W3C推薦標準，以其

2、豐富的數(shù)據(jù)類型和靈活的結(jié)構(gòu)描述等優(yōu)點，被許多系統(tǒng)所使用，越來越多的人開始研究基于XMLSchema的數(shù)據(jù)驗證技術(shù)。 針對XMLSchema規(guī)范中規(guī)定的復(fù)雜數(shù)據(jù)類型的結(jié)構(gòu)描述，本文提出了一種稱為模式自動機(SchemaAutomaton)的數(shù)據(jù)結(jié)構(gòu)，討論了將XML模式結(jié)構(gòu)轉(zhuǎn)換成模式自動機的方法，設(shè)計并實現(xiàn)了一種自動機驗證算法來驗證實例XML文檔的有效性，以解決XML結(jié)構(gòu)正則表達式驗證的問題。自動機驗證算法可以在模式空間內(nèi)高效地驗證