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

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

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

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