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

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

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