XML數據庫的規(guī)范化理論研究.pdf

1、在網絡數據交換日益增多的今天，XML作為一種半結構化數據以其簡單易標記和跨平臺等優(yōu)點被越來越廣泛的應用到數據存儲和數據傳輸領域，成為Internet上的主要的數據表示和交換標準之一，應用范圍非常廣泛。XML數據庫是一項在最近幾年發(fā)展起來的新技術。和關系數據庫類似，在XML數據文檔中由其模式定義形成的樹型結構可能包含數據冗余，從而引起數據的更新、插入和刪除異常。引起數據冗余的根本原因是其中包含異常數據依賴，包括部分函數依賴、傳遞函數依賴和

2、多值依賴。由于Web的開放性，XML數據異常的危害性要遠遠大于關系數據異常的危害性。 研究XML數據依賴是進行XML數據庫技術中其他相關研究如XML數據的存儲與發(fā)布技術、XML數據查詢與優(yōu)化技術等的基礎。目前對于XML數據依賴的研究主要集中在XML文檔的強函數依賴這一領域，對于XML樹型結構中引入空值后的弱函數依賴方面的研究就更少。 本文的主要工作是在已有的DTD規(guī)范基礎上，采用路徑表達式和樹元組的表示方法對XML數據進

3、行規(guī)范化研究，主要內容如下： 1、基于路徑表達式和樹元組給出XML函數依賴、部分函數依賴、傳遞函數依賴和多值依賴的概念，給出了部分函數依賴、傳遞函數依賴和多值依賴的推理規(guī)則。 2、基于XML數據依賴形式化定義，給出XML不同級別范式的定義，提出XML文檔規(guī)范化規(guī)則——元素提升規(guī)則、元素創(chuàng)建規(guī)則和元素上移規(guī)則。在規(guī)范化基礎上給出XML文檔規(guī)范化算法，并分析了算法的正確性、可終止性、時間復雜性、無損聯接性和函數依賴保持性等。