基于語(yǔ)義約束的XML規(guī)范化的研究.pdf

1、由于 XML[1]具有半結(jié)構(gòu)化、自描述性、靈活性、可擴(kuò)展性等特點(diǎn)，實(shí)現(xiàn)了結(jié)構(gòu)、內(nèi)容、顯示的分離，這有利于機(jī)器之間的數(shù)據(jù)交換和用戶的個(gè)性化顯示以及數(shù)據(jù)集成等。因此，XML自從發(fā)布以來(lái)就受到了各界的廣泛關(guān)注，并且很快便成為了Web上數(shù)據(jù)表示、交換、集成的標(biāo)準(zhǔn)。
　　隨著互聯(lián)網(wǎng)上涌現(xiàn)出大量的XML數(shù)據(jù)，這對(duì)XML技術(shù)提出了更高的要求，目前XML數(shù)據(jù)的存儲(chǔ)與發(fā)布、XML數(shù)據(jù)查詢與優(yōu)化等已有一些成果，特別是與關(guān)系數(shù)據(jù)的轉(zhuǎn)換技術(shù)已相當(dāng)成熟。但

2、是這種轉(zhuǎn)換只是保留了結(jié)構(gòu)信息，二沒(méi)有從數(shù)據(jù)庫(kù)設(shè)計(jì)[2]的角度來(lái)評(píng)價(jià)XML數(shù)據(jù)庫(kù)模式，這勢(shì)必造成XML數(shù)據(jù)的處理異常。本文將在XML語(yǔ)義約束的基礎(chǔ)上研究XML規(guī)范化，減少XML數(shù)據(jù)冗余，保持XML數(shù)據(jù)一致性[3]，消除XML的操作異常。主要研究成果如下：
　　1.在DTD[4]和XML樹(shù)的定義基礎(chǔ)上，給出了它們的路徑、節(jié)點(diǎn)以及相互之間存在的對(duì)應(yīng)關(guān)系的定義；
　　2.在XML樹(shù)元組的基礎(chǔ)上提出了XML函數(shù)依賴[5]的概念，并給出

3、了XML完全函數(shù)依賴、XML部分依賴、XML傳遞依賴和XML多值依賴的概念；
　　3.給出了XML函數(shù)依賴邏輯蘊(yùn)涵的定義和XML函數(shù)依賴推理規(guī)則，并證明了規(guī)則的有效性、完備性；研究了XML函數(shù)依賴集的等價(jià)和最小XML函數(shù)依賴集的求解算法；
　　4.給出了XML不同級(jí)別范式的定義；給出了查找XML部分依賴對(duì)和XML傳遞依賴組的算法；
　　5.分別給出了消除XML部分依賴和XML傳遞依賴、XML多值依賴的提升規(guī)則、重組規(guī)則