基于XML的關(guān)系數(shù)據(jù)發(fā)布中完整性約束的研究與實(shí)現(xiàn).pdf

1、當(dāng)前XML已經(jīng)成了Internet上各類應(yīng)用系統(tǒng)之間數(shù)據(jù)表示和交換的標(biāo)準(zhǔn),越來(lái)越多的關(guān)系數(shù)據(jù)庫(kù)應(yīng)用系統(tǒng)采用XML作為標(biāo)準(zhǔn)格式來(lái)發(fā)布和交換數(shù)據(jù),研究關(guān)系數(shù)據(jù)和XML數(shù)據(jù)之間的轉(zhuǎn)換方法,實(shí)現(xiàn)各類異構(gòu)關(guān)系數(shù)據(jù)源基于XML的發(fā)布已成為當(dāng)前數(shù)據(jù)管理領(lǐng)域一個(gè)重要的研究方向。 數(shù)據(jù)的完整性約束是數(shù)據(jù)模型中數(shù)據(jù)及其聯(lián)系所具有的制約和依存規(guī)則,在數(shù)據(jù)發(fā)布和交換中保持語(yǔ)義信息等方面發(fā)揮著重要作用?；赬ML的關(guān)系數(shù)據(jù)發(fā)布,是在兩種不同數(shù)據(jù)模型上進(jìn)行

2、的數(shù)據(jù)轉(zhuǎn)換。已有的數(shù)據(jù)發(fā)布工具主要針對(duì)兩個(gè)數(shù)據(jù)模型的結(jié)構(gòu)層面來(lái)設(shè)計(jì),缺少對(duì)數(shù)據(jù)語(yǔ)義,尤其是完整性約束的分析,使得基于XML的數(shù)據(jù)發(fā)布過程丟失了原有數(shù)據(jù)及其聯(lián)系所具有的制約和依存規(guī)則,不能保證滿足預(yù)定義模式中的約束。因此,研究基于XML的關(guān)系數(shù)據(jù)發(fā)布過程中保持完整性約束的問題,無(wú)論在理論上還是應(yīng)用中都具有重要的意義,并且成為當(dāng)前XML數(shù)據(jù)管理領(lǐng)域的一個(gè)研究熱點(diǎn)。 針對(duì)上述問題,本論文深入研究了基于XML的關(guān)系數(shù)據(jù)發(fā)布中涉及的數(shù)據(jù)完

3、整性約束的問題,提出了數(shù)據(jù)發(fā)布過程中關(guān)于數(shù)據(jù)完整性約束的保持方法,設(shè)計(jì)了一個(gè)保持完整性約束的數(shù)據(jù)發(fā)布系統(tǒng)。論文中首先將源模式與目標(biāo)模式統(tǒng)一變換為XML模式樹,將兩個(gè)不同數(shù)據(jù)模型上的數(shù)據(jù)轉(zhuǎn)換,變換為異構(gòu)的XML模式樹上的數(shù)據(jù)轉(zhuǎn)換問題；然后將關(guān)系視圖、包含約束、嵌套結(jié)構(gòu)等統(tǒng)一轉(zhuǎn)換為約束規(guī)則,并給出了約束規(guī)則圖的構(gòu)造算法；最后設(shè)計(jì)了一個(gè)基于XML的關(guān)系數(shù)據(jù)發(fā)布系統(tǒng),將關(guān)系數(shù)據(jù)庫(kù)中數(shù)據(jù)發(fā)布為XML文檔過程中加載約束規(guī)則,解決發(fā)布過程中的數(shù)據(jù)冗余