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

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

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