基于XML Schema的XML函數(shù)依賴研究.pdf

1、在網(wǎng)絡(luò)數(shù)據(jù)交換日益增多的今天，XML作為一種半結(jié)構(gòu)化數(shù)據(jù)以其簡(jiǎn)單易標(biāo)記和跨平臺(tái)等優(yōu)點(diǎn)被越來(lái)越廣泛的應(yīng)用到數(shù)據(jù)存儲(chǔ)和數(shù)據(jù)傳輸領(lǐng)域。XML數(shù)據(jù)庫(kù)是一項(xiàng)在最近幾年發(fā)展起來(lái)的新技術(shù)。同關(guān)系數(shù)據(jù)庫(kù)一樣，在XML數(shù)據(jù)文檔中由其模式定義形成的樹(shù)型結(jié)構(gòu)可能包含數(shù)據(jù)冗余，引起這些數(shù)據(jù)冗余的根本原因是因?yàn)槠渲邪瘮?shù)依賴。 目前對(duì)于XML函數(shù)依賴的研究并不多，基于XML Schema模式的研究就更少，而研究XML函數(shù)依賴是進(jìn)行XML數(shù)據(jù)庫(kù)技術(shù)中其他

2、相關(guān)研究的基礎(chǔ)，本文對(duì)于XML函數(shù)依賴的研究主要是基于XML Schema模式的，通過(guò)對(duì)由XML Schema定義所形成的XML文檔的樹(shù)型結(jié)構(gòu)進(jìn)行分析，借用樹(shù)元組的概念代替關(guān)系模式中屬性元組的概念，得出關(guān)于XML函數(shù)依賴的形式化定義，利用數(shù)據(jù)庫(kù)體系的 Armstrong公理系統(tǒng)推導(dǎo)出函數(shù)依賴的推理規(guī)則集，并對(duì)推理規(guī)則集進(jìn)行證明。 在本文中基于給定的XML Schema函數(shù)依賴的形式化定義給出了在XML 函數(shù)依賴中關(guān)于傳遞函數(shù)依賴