資源描述：
《基于xml+schema的xml函數(shù)依賴研究》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫(kù)。
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ù)文檔中由其模式定義形成的樹型結(jié)構(gòu)可能包含數(shù)據(jù)冗余，引起這些數(shù)據(jù)冗余的根本原因是因?yàn)槠渲邪瘮?shù)依賴。目前對(duì)于XML函數(shù)依賴的研究并不多，基于Ⅺ札Schema模式的研究就更少，而研究XML函數(shù)依賴是進(jìn)行XML數(shù)據(jù)庫(kù)技術(shù)中其他相關(guān)研究的基礎(chǔ)，本文對(duì)于XML函數(shù)依賴的研究主要是基于XMLSchema模式的，通過對(duì)由XMLSchema定義所形成的XML文檔的樹型結(jié)構(gòu)進(jìn)行分析
2、，借用樹元組的概念代替關(guān)系模式中屬性元組的概念，得出關(guān)于XML函數(shù)依賴的形式化定義，利用數(shù)據(jù)庫(kù)體系的Armstrong公理系統(tǒng)推導(dǎo)出函數(shù)依賴的推理規(guī)則集，并對(duì)推理規(guī)則集進(jìn)行證明。在本文中基于給定的XMLSchema函數(shù)依賴的形式化定義給出了在XML函數(shù)依賴中關(guān)于傳遞函數(shù)依賴以及間接函數(shù)依賴的定義，使用元素創(chuàng)建規(guī)則以及元素提升規(guī)則對(duì)原有XMLSchema模式進(jìn)行修改，以消除其中的間接函數(shù)依賴和傳遞函數(shù)依賴，以此實(shí)現(xiàn)對(duì)基于XMLSchema的XML文檔進(jìn)行規(guī)范化處理。在本文的第五章中還給出了XML函數(shù)依賴蘊(yùn)涵和覆蓋的定義，求出了最小函數(shù)依賴，轉(zhuǎn)換成關(guān)系模式并證明所得到的關(guān)系
3、模式符合第三范式的要求。關(guān)鍵詞：XMLSchema，函數(shù)依賴，推理規(guī)則集，規(guī)范化，轉(zhuǎn)換ABSTRACTNowadays，networkdataexchangingisincreasingdaybyday,XML，asahalf-structureddata，iswidelyappliedindatastorageanddatatransmissionfieldsbecauseofitssimplicity，easilymarkedandrunninginvariousplatforms．XMLdatabaseisanewtechnology，whichdeveloped
4、inrecentyears．Justastherelationaldatabase．XM臣datadocumentsmaycontaindataredundancywhichcausedbyabaddesignedXMLSchema．a(chǎn)ndcontainingfunctionaldependencyisthebasicreasonthatcausedthesedataredundancies．Atproem．therearenottoomuchresearchesonXM吐functionaldependency，thestudiesbasedon舭Schemaisev
5、enseldom．Infact，studyingtheXMLfunctionaldependencyplaysthefundamentalroleinotherrelatedstudiesintheXMLdatabasetechnology．ThispaperstudiestheXMLfimctionaldependencybasedontheXMLSchema，throughanalysisonthetreestructureofXMLdocumemandtakingadvantageoftheconceptofthetreetuplestosubstitutethe
6、attributecomponentofrelationalpattern，proposeaformalizeddefinitionofXMLfunctionaldependency．Inadditional，thispaperinfersainferencerulessetoffunctionaldependencybyusingArmstrongaxiom-systemofdatabasesystemandtestifytheinferencerulesset．Thispaperdefinesthetransitivefunctionaldependencyaswe
7、llastheindirectfunctionaldependencyforXMLdocument，whichbasedonthefunctionaldependencyformalizeddefinitionofthisXMLSchemafunction．ThispaperalsomodifiestheoriginalXMLSchemaaccordingtoⅡIelementsestablishingruleandupgradingrule，inordertoeliminatetheindirectfunctionaldependenc
