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

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

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

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