XML語義驗證算法的研究與應(yīng)用.pdf

1、近些年來越來越多的領(lǐng)域應(yīng)用到了XML，如何對大量的、種類繁多的XML數(shù)據(jù)進(jìn)行有效的管理仍處于研究階段。其中，XML數(shù)據(jù)模式驗證是對XML數(shù)據(jù)做進(jìn)一步處理的前提和保證，同時帶有復(fù)雜邏輯與選擇關(guān)系的Xml語義驗證算法是對XML數(shù)據(jù)驗證的延伸，因此Xml語義驗證算法的研究是一個重要的研究領(lǐng)域。 XML(eXtensible Markup Language，可擴展標(biāo)記語言)已經(jīng)成為Internet/Intranet環(huán)境上的數(shù)據(jù)表達(dá)的事實

2、標(biāo)準(zhǔn)，被用在各種各樣的環(huán)境中。XML技術(shù)應(yīng)用的一個主要目標(biāo)是為了方便信息交換。很顯然，只有XML文檔的格式或是結(jié)構(gòu)得到交互各方的一致認(rèn)可，這個目標(biāo)才有可能實現(xiàn)。XML Schema就是描述信息結(jié)構(gòu)的模型，可以用來對XML文檔內(nèi)容的合法性進(jìn)行驗證。但很多復(fù)雜的邏輯還是不能得到驗證，本論文在XML Schema驗證的基礎(chǔ)上，對數(shù)據(jù)驗證的算法進(jìn)一步研究。 由于XML的可擴展性與結(jié)構(gòu)清晰等一系列優(yōu)點，現(xiàn)在被廣泛的應(yīng)用于各種環(huán)境中，因此以