XML的完整性約束.pdf

1、xml在很短的時間內(nèi)就獲得廣泛認同,已成為一種被大量使用的通用的數(shù)據(jù)格式.xml文檔很容易表達來自不同源的數(shù)據(jù),但是其所能表示的語義信息卻相對有限.文章的主要工作是在已有的DTD和xml schema規(guī)范的基礎(chǔ)上進一步增強定義完整性約束的能力,尤其是引入在模式設(shè)計中極為重要的函數(shù)依賴概念.為適應(yīng)xml文檔特有的樹型結(jié)構(gòu)和半結(jié)構(gòu)化特征,文章采用基于路徑的表示方法.這里所給出的函數(shù)依賴,不但可以表示在整個文檔中成立的約束(絕對),還可以表示

2、在文檔的局部成立的約束(相對).文章的函數(shù)依賴更自然地將鍵表示為它的特例,它的定義能力是已有方法的一個超集.為討論xml上函數(shù)依賴的相應(yīng)邏輯蘊涵的問題,文章提出一個關(guān)于函數(shù)依賴的推理規(guī)則集,并證明其正確性和完備性,它是一個重要的理論基礎(chǔ).隨著xml應(yīng)用范圍的拓廣,為提高數(shù)據(jù)質(zhì)量,一個設(shè)計良好的DTD是必須的.在這個過程中,一個很重要的需要考慮的因素是,在基于良好設(shè)計的DTD的xml文檔上,應(yīng)該盡可能地避免數(shù)據(jù)冗余的出現(xiàn).在為xml領(lǐng)域引

3、入函數(shù)依賴的概念后,文章基于它來定義何謂冗余,給出規(guī)范化DTD的定義,并據(jù)此來判定一個DTD是否設(shè)計良好.文章接著討論規(guī)范化DTD和數(shù)據(jù)庫中BCNF范式的關(guān)系,并給出一個對DTD進行規(guī)范化的算法.一種將xml文檔和已有的數(shù)據(jù)庫系統(tǒng)相融合的方法是將xml文檔存儲到數(shù)據(jù)庫中,然后將對xml文檔的查詢轉(zhuǎn)化成對數(shù)據(jù)庫系統(tǒng)的查詢.在已有的大多數(shù)研究中,往往都只考慮xml文檔的結(jié)構(gòu)信息,而忽略文檔所具有的語義信息.這樣所產(chǎn)生的關(guān)系模式通常不是最佳的

4、,并且完全丟失xml文檔中固有的約束信息.文章利用擴展后的語義信息來引導xml文檔的關(guān)系數(shù)據(jù)庫存儲.這有兩方面的含義,一是采用規(guī)范化后的DTD進行向關(guān)系模式的轉(zhuǎn)化,可以避免數(shù)據(jù)冗余的出現(xiàn),消除對數(shù)據(jù)的操作異常.二是以xml上的鍵為基礎(chǔ)來組織關(guān)系模式,并使用關(guān)系數(shù)據(jù)庫的機制來維護數(shù)據(jù)的核心聯(lián)系.文章證明這樣所生成的最終關(guān)系模式是滿足BCNF范式的,即可以保持規(guī)范化的良好特性.此外,現(xiàn)有的存儲研究通常基于DTD進行,而幾乎沒有針對xml s