XML文檔完整性約束中關(guān)鍵問(wèn)題的研究.pdf

1、隨著XML已經(jīng)成為Internet上的信息表示和交換的標(biāo)準(zhǔn)，XML的應(yīng)用也越來(lái)越廣泛。目前國(guó)內(nèi)外許多學(xué)者已經(jīng)對(duì)XML數(shù)據(jù)庫(kù)進(jìn)行了研究，出現(xiàn)了使能XML數(shù)據(jù)庫(kù)和本源XML數(shù)據(jù)庫(kù)，前者是把XML數(shù)據(jù)轉(zhuǎn)換成已經(jīng)成熟的數(shù)據(jù)庫(kù)技術(shù)進(jìn)行處理，如關(guān)系數(shù)據(jù)庫(kù)，面向?qū)ο髷?shù)據(jù)庫(kù)等，后者是直接對(duì)XML進(jìn)行處理，但這兩者對(duì)XML文檔完整性約束的理論研究還很少，所以本文對(duì)XML文檔完整性約束中的幾個(gè)關(guān)鍵問(wèn)題進(jìn)行了研究。 針對(duì)XML樹型結(jié)構(gòu)的特點(diǎn)，基于路徑

2、介紹了XML函數(shù)依賴的定義，及相應(yīng)的推理規(guī)則。介紹了求路徑集閉包和成員籍問(wèn)題的算法，并對(duì)算法的正確性、可終止性和時(shí)間復(fù)雜度進(jìn)行了分析。介紹了XML鍵和候選鍵的定義，最后提出了XML局部候選鍵的求解算法。 基于樹元組概念介紹了XML多值依賴的定義及推理規(guī)則。基于XMVD路徑集的依賴基和XMVD路徑集的閉包的概念提出了求解XMVD路徑集的依賴基和XMVD成員籍判定的算法。 針對(duì)XML的模式DTD，本文介紹了范式X1NF、X2

3、NF、X3NF的概念。然后利用DTD無(wú)損連接分解的概念和規(guī)范化規(guī)則，提出了把DTD分別無(wú)損連接地分解成符合X2NF、X3NF的算法，對(duì)算法的性能進(jìn)行了分析，并通過(guò)實(shí)際文檔檢驗(yàn)此規(guī)范化算法能正確應(yīng)用，達(dá)到規(guī)范化的目的。 對(duì)XML文檔的研究是一個(gè)很有發(fā)展前途的研究領(lǐng)域，很多計(jì)算機(jī)專家對(duì)其前景抱有很高的期望。由于時(shí)間和條件的限制，本文只對(duì)XML文檔中的函數(shù)依賴、多值依賴以及在鍵和候選鍵的基礎(chǔ)上對(duì)范式進(jìn)行了探討與研究，針對(duì)XML文檔中的