XML的完整性約束.pdf

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

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

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

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