資源描述：
《基于xml+schema的xml函數(shù)依賴研究》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。
1、摘要在網(wǎng)絡(luò)數(shù)據(jù)交換日益增多的今天，XML作為一種半結(jié)構(gòu)化數(shù)據(jù)以其簡單易標(biāo)記和跨平臺等優(yōu)點被越來越廣泛的應(yīng)用到數(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ù)依賴的研究并不多，基于Ⅺ札Schema模式的研究就更少，而研究XML函數(shù)依賴是進行XML數(shù)據(jù)庫技術(shù)中其他相關(guān)研究的基礎(chǔ)，本文對于XML函數(shù)依賴的研究主要是基于XMLSchema模式的，通過對由XMLSchema定義所形成的XML文檔的樹型結(jié)構(gòu)進行分析
2、，借用樹元組的概念代替關(guān)系模式中屬性元組的概念，得出關(guān)于XML函數(shù)依賴的形式化定義，利用數(shù)據(jù)庫體系的Armstrong公理系統(tǒng)推導(dǎo)出函數(shù)依賴的推理規(guī)則集，并對推理規(guī)則集進行證明。在本文中基于給定的XMLSchema函數(shù)依賴的形式化定義給出了在XML函數(shù)依賴中關(guān)于傳遞函數(shù)依賴以及間接函數(shù)依賴的定義，使用元素創(chuàng)建規(guī)則以及元素提升規(guī)則對原有XMLSchema模式進行修改，以消除其中的間接函數(shù)依賴和傳遞函數(shù)依賴，以此實現(xiàn)對基于XMLSchema的XML文檔進行規(guī)范化處理。在本文的第五章中還給出了XML函數(shù)依賴蘊涵和覆蓋的定義，求出了最小函數(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
