基于約束的XML數(shù)據(jù)庫模式規(guī)范化研究.pdf

1、該文從數(shù)據(jù)庫設(shè)計的角度出發(fā),對XML數(shù)據(jù)的約束進(jìn)行深入的研究,直接對Web數(shù)據(jù)進(jìn)行規(guī)范化處理,從而得到良好的XML數(shù)據(jù)庫模式,這樣不僅完整地保留了XML文檔數(shù)據(jù)中的語義和結(jié)構(gòu)信息,滿足了數(shù)據(jù)庫設(shè)計的要求,一次性地完成了XML數(shù)據(jù)庫的設(shè)計,避免了現(xiàn)有方法的重復(fù)設(shè)計,而且減少了數(shù)據(jù)冗余,保持了Web上數(shù)據(jù)的一致性.因此,XML數(shù)據(jù)庫模式規(guī)范化的研究具有重要的理論意義和實用價值.該文的主要工作是在已有的DTD和XML-Schema等規(guī)范基礎(chǔ)上

2、,采用路徑表達(dá)式和樹元組的表示方法對XML數(shù)據(jù)進(jìn)行規(guī)范化研究,主要研究成果如下:(1)對XML函數(shù)依賴約束進(jìn)一步研究,基于路徑表達(dá)式和樹元組給出XML函數(shù)依賴、部分函數(shù)依賴和傳遞函數(shù)依賴的概念,定義了XML函數(shù)依賴的邏輯蘊涵與覆蓋,給出了XML函數(shù)依賴推理規(guī)則,證明了其有效性和完備性,并提出了多項式時間求解規(guī)范覆蓋和最小覆蓋的算法.(2)基于XML函數(shù)依賴形式化定義,給出XML不同級別范式的定義,提出XML文檔規(guī)范化規(guī)則——元素提升規(guī)則

3、和元素創(chuàng)建規(guī)劃.在規(guī)范化基礎(chǔ)上給出XML文檔規(guī)范化算法,并實驗證明了算法的有效性.(3)給出XML鍵約束的完整定義以及絕對鍵和相對鍵的推理規(guī)則,提出多項式時間求解XML候選鍵的算法,并對算法的正確性、可終止性和時間復(fù)雜性進(jìn)行了分析和證明.(4)給出XML多值依賴的定義,提出XML多值依賴推理規(guī)則,并證明了其有效性和完備性.在XML多值依賴邏輯蘊涵和覆蓋定義基礎(chǔ)上,提出多項式時間求解XML多值依賴無冗余覆蓋算法.(5)給出規(guī)范化XML文檔