XML數(shù)據(jù)庫類型系統(tǒng)研究.pdf

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

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

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