不完全信息下XML文檔的函數(shù)依賴及推理規(guī)則研究.pdf

1、XML是目前Internet上主要的數(shù)據(jù)表示和交換的標(biāo)準(zhǔn)之一。XML文檔作為數(shù)據(jù)庫用來存儲數(shù)據(jù)，目前對XML文檔的研究僅局限于XML文檔樹中的每一個(gè)節(jié)點(diǎn)都為確定的值，沒有考慮節(jié)點(diǎn)中包含不完全信息的情況。本文主要把不完全信息引入XML文檔中，使得XML具有更強(qiáng)的現(xiàn)實(shí)表現(xiàn)力，為了能表示不完全信息并且還能保證信息冗余少、且盡量減少插入刪除修改異常，因此不完全信息下XML文檔的函數(shù)依賴及推理規(guī)則研究具有重要的理論意義和現(xiàn)實(shí)價(jià)值。 本文的

2、主要研究工作是在XML文檔已有的DTD規(guī)范的基礎(chǔ)上，采用路徑表達(dá)式和樹元組的表達(dá)方法對XML文檔包含不完全信息時(shí)的函數(shù)依賴及推理規(guī)則的研究，主要研究成果如下： 1．在本文中把節(jié)點(diǎn)分為三類元素節(jié)點(diǎn)、文本節(jié)點(diǎn)和屬性節(jié)點(diǎn)，分別在文本節(jié)點(diǎn)和屬性節(jié)點(diǎn)中表示不完全信息構(gòu)造這樣一棵表示不完全信息的XML文檔樹，給出節(jié)點(diǎn)、樹元組之間的關(guān)系。并在此基礎(chǔ)上對函數(shù)依賴進(jìn)行研究。 2．基于函數(shù)依賴各保持條件的定義，給出函數(shù)依賴的推理規(guī)則，并證明

3、了各推理規(guī)則的正確性以及推理規(guī)則集的完備性。進(jìn)一步給出滿足該保持條件的函數(shù)依賴在不完全信息樹確定化后的情況。 3．給出函數(shù)依賴保持條件下完全函數(shù)依賴和部分函數(shù)依賴，進(jìn)一步定義了完全函數(shù)依賴弱保持和完全函數(shù)依賴強(qiáng)保持，研究了他們成為完全信息樹下完全函數(shù)依賴的可能性。給出了判斷函數(shù)依賴是否為完全函數(shù)依賴強(qiáng)保持或弱保持的算法。 4．定義不完全信息樹下候選關(guān)鍵字，給出求候選關(guān)鍵字的算法并對算法的正確性、可終止性及時(shí)間復(fù)雜度進(jìn)行分