XML的完整性約束.pdf

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

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

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

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