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

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

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