資源描述：
《oodb設(shè)計中的范式理論及求解算法》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。
1、哈爾濱理工大學(xué)碩士學(xué)位論文OODB設(shè)計中的范式理論及求解算法姓名：徐紅波申請學(xué)位級別：碩士專業(yè)：計算機軟件與理論指導(dǎo)教師：郝忠孝20050301『竹爾濱刪r人’’}丁學(xué)順卜學(xué)位論史000B設(shè)計中的范式理論及求解算法摘要面向?qū)ο髷?shù)據(jù)庫系統(tǒng)(OODBS)是近二十年來隨著面向?qū)ο蠹夹g(shù)的發(fā)展而被廣泛接受且非常具有前景的研究及應(yīng)用的領(lǐng)域。它針對關(guān)系數(shù)據(jù)庫系統(tǒng)(RDBS)不能適應(yīng)非傳統(tǒng)應(yīng)用的要求，如：模型表達能力有限、系統(tǒng)效率低、事務(wù)模型太簡單等，結(jié)合面向?qū)ο笳Z言、語義模型，復(fù)雜對象模型和數(shù)據(jù)庫技術(shù)的幾個方面的研究而形成的一個高度數(shù)據(jù)集成系統(tǒng)。面向?qū)ο髷?shù)據(jù)庫系統(tǒng)代表了新一代數(shù)據(jù)庫系統(tǒng)的
2、發(fā)展方向。面向?qū)ο笠?guī)范化理論是Z．Tari等人1997年首次提出的。同傳統(tǒng)的關(guān)系數(shù)據(jù)庫規(guī)范化理論的最大區(qū)別是面向?qū)ο笠?guī)范化理論主要用于數(shù)據(jù)庫的概念設(shè)計，與數(shù)據(jù)庫的邏輯設(shè)計無關(guān)。這彌補了傳統(tǒng)的數(shù)據(jù)庫設(shè)計方法在概念模式方面的不足，使其支持面向?qū)ο髷?shù)據(jù)模型。面向?qū)ο髷?shù)據(jù)庫理論作為近年來興起的理論，在很多方面還有待完善。本文首先介紹了面向?qū)ο髷?shù)據(jù)庫(OODB)的發(fā)展，從OODB不同方面綜述了面向?qū)ο髷?shù)據(jù)庫的基本概念。接著定義了對象模型的投影代數(shù)和數(shù)據(jù)依賴。提出路徑依賴和對象函數(shù)依賴的推理規(guī)則，并對其進行了證明，然后在對象模型的數(shù)據(jù)依賴基礎(chǔ)上繪出了對象范式的定義及定理。對象范式不同f
3、傳統(tǒng)關(guān)系模型的范式的是它更多地考慮了數(shù)據(jù)庫模型設(shè)計時模型語義是否精確，完整地反映了用戶的需求，是一種語義范式，而不是在數(shù)據(jù)庫模型設(shè)計時就強調(diào)模型是否滿足數(shù)據(jù)庫操作范式。在文章的最后提出對象范式求解算法。該算法適合于漸進型開發(fā)方法。關(guān)鍵詞面向?qū)ο髷?shù)據(jù)庫：規(guī)范化；路徑；數(shù)據(jù)依賴：范式竺i：堡些!叁；!!。莖竺!．蘭絲篁蘭：TheNormalizationTheoriesandAlgorithmsinOODBDesignsAbstractWiththedevelopmentofObject—Orientedtechnologies，OODBS(0bject—OrientedDat
4、abasesystem)hasbeenoneofthemostubiquitousandpromisingresearchandapplicationfieldsinrecenttwodecades．AsRDBS(RelationalDatabaseSystem)Callhardlyadapttherequirementofnon—traditionalapplications，suchasincompetenceofmodelrepresentations，thelowsystemefficiency,andthesimplicityoftransactionmodele
5、tc．，OODBjustadaptstherequirementsofnon-traditionalapplications，andhasdevelopedintoahigh—integrateddatasystemwiththecombinationoftheOOlanguage，semanticmodels,complexobjects．Itrepresentsanewgenerationofdatabasesystems，Normalizationtheoryforobject—orienteddatabasewasfirstbrOUghtforwardinliter
6、aturebyZ．TariandSOonin1997．Incontrasttoconventionalnormalizationtheoryforrelationaldatabase，thenormalizationtheoryforobject-orienteddatabaseismainlyusedfordatabaseconceptualdesign，andindependentofdatabaselogicaldesign．Inthispoint，itmakesupfortheinadequacyinlogicalschema，andsupportstheobjec
7、t-orientedschemata．Asprosperinginrecentlyyears，thetheoryforobject—orienteddatabasehassomeinadequacyandiswaitingtobeperfected．ThispapersummarizesbasicconceptsofOODBfromdifferentangles．ThenitgivesthedefinitionsofProjectionAlgebraandDataDependencies．Moreoverthepa
