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

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

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

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