1、隨著電子商務(wù)、電子政務(wù)等網(wǎng)絡(luò)應(yīng)用需求的不斷增長(zhǎng),可擴(kuò)展標(biāo)志語(yǔ)言數(shù)據(jù)庫(kù)(Extensible Markup Language Database,XML Database)技術(shù)成為了現(xiàn)代數(shù)據(jù)庫(kù)技術(shù)的重要研究領(lǐng)域之一.為了實(shí)現(xiàn)對(duì)多源異構(gòu)數(shù)據(jù)信息的有效管理,XML數(shù)據(jù)庫(kù)必須擁有完善的類型系統(tǒng)和靈活的類型處理機(jī)制,因此XML數(shù)據(jù)庫(kù)技術(shù)的迅速發(fā)展,直接推動(dòng)了對(duì)XML類型系統(tǒng)的研究與開(kāi)發(fā).基于目前XML類型處理問(wèn)題的研究現(xiàn)狀,對(duì)XML數(shù)據(jù)庫(kù)類型系統(tǒng)的

2、形式化建模、類型驗(yàn)證和類型檢驗(yàn)等問(wèn)題進(jìn)行了研究探討.首先采用一種基于類型原理的形式建模技術(shù)創(chuàng)建了一個(gè)基于XML模式(XML Schema)的XML類型系統(tǒng)形式化模型,給出了整個(gè)模型的形式化描述,并對(duì)模型進(jìn)行了擴(kuò)展,通過(guò)對(duì)擴(kuò)展模型的應(yīng)用實(shí)例分析體現(xiàn)了該模型易于擴(kuò)展、實(shí)用性強(qiáng)等優(yōu)點(diǎn).針對(duì)XML數(shù)據(jù)庫(kù)類型驗(yàn)證問(wèn)題,對(duì)幾種XML Schema類型驗(yàn)證方法進(jìn)行了分析與比較,然后選擇其中一種基于樹(shù)自動(dòng)機(jī)的類型驗(yàn)證方法進(jìn)行深入研究,指出該方法所用算法

3、存在局限性,繼而對(duì)算法提出了改進(jìn),分析了改進(jìn)后算法的正確性和復(fù)雜度.針對(duì)XML數(shù)據(jù)庫(kù)類型檢驗(yàn)問(wèn)題,以基于文檔類型定義(Document Type Definition,DTD)的XML類型檢驗(yàn)的研究為基礎(chǔ),對(duì)基于XMLSchema的類型檢驗(yàn)問(wèn)題的可確定性和檢驗(yàn)算法進(jìn)行了討論,證明只有對(duì)發(fā)布或轉(zhuǎn)換程序的處理能力加以限制后,一些可確定的基于DTD的類型檢驗(yàn)問(wèn)題在基于XML Schema時(shí)才可確定,最后將兩個(gè)基于DTD的類型檢驗(yàn)算法引入基于X