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

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

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