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

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

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

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