![數(shù)據(jù)庫(kù)原理與應(yīng)用第四章課件_第1頁(yè)](http://file4.renrendoc.com/view/5060ab78c06ce2e02165fd1f430c7791/5060ab78c06ce2e02165fd1f430c77911.gif)
![數(shù)據(jù)庫(kù)原理與應(yīng)用第四章課件_第2頁(yè)](http://file4.renrendoc.com/view/5060ab78c06ce2e02165fd1f430c7791/5060ab78c06ce2e02165fd1f430c77912.gif)
![數(shù)據(jù)庫(kù)原理與應(yīng)用第四章課件_第3頁(yè)](http://file4.renrendoc.com/view/5060ab78c06ce2e02165fd1f430c7791/5060ab78c06ce2e02165fd1f430c77913.gif)
![數(shù)據(jù)庫(kù)原理與應(yīng)用第四章課件_第4頁(yè)](http://file4.renrendoc.com/view/5060ab78c06ce2e02165fd1f430c7791/5060ab78c06ce2e02165fd1f430c77914.gif)
![數(shù)據(jù)庫(kù)原理與應(yīng)用第四章課件_第5頁(yè)](http://file4.renrendoc.com/view/5060ab78c06ce2e02165fd1f430c7791/5060ab78c06ce2e02165fd1f430c77915.gif)
版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、第4章 關(guān)系數(shù)據(jù)庫(kù)設(shè)計(jì)理論 4.1 數(shù)據(jù)依賴4.2 關(guān)系的規(guī)范化4.3 模式分解4.1 數(shù) 據(jù) 依 賴4.1.1 函數(shù)依賴1.函數(shù)依賴的定義 設(shè)有一關(guān)系模式R(A1,A2,An),X和Y均為R的子集,對(duì)于R的任意一個(gè)可能的關(guān)系r來(lái)說(shuō),當(dāng)其中任意兩個(gè)元組u,v中對(duì)應(yīng)于X的那些屬性分量的值均相等時(shí),則有u、v中對(duì)應(yīng)于Y的那些屬性分量的值也相等,稱X函數(shù)確定Y,或Y函數(shù)依賴于X,記為XY。4.1 數(shù) 據(jù) 依 賴2. 三種函數(shù)依賴 在R(U)中,如果XY,并且對(duì)于X的任意一個(gè)真子集X,都有X不能確定Y,則稱Y對(duì)X完全函數(shù)依賴。 若X Y,但Y不完全函數(shù)依賴于X,則稱Y對(duì)X部分函數(shù)依賴。 在R(U)中,
2、如果XY,(X不屬于Y),YZ,(Z不屬于Y),則稱Z對(duì)X傳遞函數(shù)依賴。 4.1 數(shù) 據(jù) 依 賴4.1.3 函數(shù)依賴的公理系統(tǒng)1. Armstrong公理系統(tǒng) 把自反律、傳遞律和增廣律稱為Armstrong公理系統(tǒng)。 Armstrong公理系統(tǒng)是有效的、完備的。Armstrong公理的有效性指的是由F出發(fā)根據(jù) Armstrong公理推導(dǎo)出來(lái)的每一個(gè)函數(shù)依賴一定在F+中;完備性指的是F+中的每一個(gè)函數(shù)依賴,必定可以由F出發(fā)根據(jù)Armstrong公理推導(dǎo)出來(lái)。 2. 屬性集閉包 Armstrong公理的完備性及有效性說(shuō)明了“導(dǎo)出”與“蘊(yùn)含”是兩個(gè)完全等價(jià)的概念。于是F+也可以說(shuō)成是由F出發(fā)借助Ar
3、mstrong公理導(dǎo)出的函數(shù)依賴的集合。 4.1 數(shù) 據(jù) 依 賴3. 最小函數(shù)依賴集 每一個(gè)函數(shù)依賴集F均等價(jià)于一個(gè)極小函數(shù)依賴集Fm。此Fm稱為F的最小依賴集。4.2 關(guān)系的規(guī)范化 4.2.1 第一范式 如果一個(gè)關(guān)系模式R的所有屬性都是不可分的基本數(shù)據(jù)項(xiàng),則R1NF。 第一范式是對(duì)關(guān)系模式的最起碼的要求。不滿足第一范式的數(shù)據(jù)庫(kù)模式不能稱為關(guān)系數(shù)據(jù)庫(kù)。但是滿足第一范式的關(guān)系模式并不一定是一個(gè)好的關(guān)系模式。 一個(gè)低一級(jí)范式的關(guān)系模式,通過(guò)模式分解可以轉(zhuǎn)換為若干個(gè)高一級(jí)范式的關(guān)系模式的集合,這種過(guò)程就叫規(guī)范化。 4.2.2 第二范式 若R1NF,且每一個(gè)非主屬性完全函數(shù)依賴于碼,則R2NF。 4.
4、2.3 第三范式 若R3NF,則每一個(gè)非主屬性既不部分依賴于碼也不傳遞依賴于碼。 4.2.4 BCNF 關(guān)系模式R1NF,如果對(duì)于R的每個(gè)函數(shù)依賴XY,若Y不屬于X,則X必含有候選碼,那么RBCNF。 4.2 關(guān)系的規(guī)范化 把泛關(guān)系模式R用一組關(guān)系模式的集合=R1,R2,Rk來(lái)表示(R1,R2,.,Rk)都是R的子集,就是數(shù)據(jù)庫(kù)模式。以代替R的過(guò)程稱為關(guān)系模式的分解。實(shí)際上,關(guān)系模式的分解不僅僅是屬性集合的分解,它是對(duì)關(guān)系模式上的函數(shù)依賴集、以及關(guān)系模式的當(dāng)前值分解的具體表現(xiàn)。4.3 模 式 分 解4.3.1 模式分解規(guī)則分解具有“無(wú)損連接性”(Lossless join)。分解要“保持函數(shù)依
5、賴”(Preserve functional dependency)。分解既要“保持函數(shù)依賴”,又要具有“無(wú)損連接性”。4.3 模 式 分 解4.3.2 模式分解方法 如果一個(gè)分解具有無(wú)損連接性,則它能夠保證不丟失信息。 如果一個(gè)分解保持了函數(shù)依賴,則它可以減輕或解決各種異常情況。 分解具有無(wú)損連接性和分解保持函數(shù)依賴是兩個(gè)互相獨(dú)立的標(biāo)準(zhǔn)。具有無(wú)損連接性的分解不一定能夠保持函數(shù)依賴。同樣,保持函數(shù)依賴的分解也不一定具有無(wú)損連接性。4.3 模 式 分 解 4.3.3 模式分解算法 1. 關(guān)于模式分解的幾個(gè)重要事實(shí) (1)若要求分解保持函數(shù)依賴,那么模式分離總可以達(dá)到3NF,但不一定能達(dá)到BCNF; (2)若要求分解既保持函數(shù)依賴,又具有無(wú)損連接性,可以達(dá)到3NF,但不一定能達(dá)到BCNF; (3)若要求分解具有無(wú)損連接性,那一定可達(dá)到4NF。4.3 模 式 分 解2.模式分解的具體算法算法1 (合成法)轉(zhuǎn)換為3NF的保持函數(shù)依賴的分解。算法2 轉(zhuǎn)換為3NF既有無(wú)損連接性又保持函數(shù)依賴的分解。4.3 模 式 分 解 本章主要討論關(guān)系數(shù)據(jù)庫(kù)設(shè)計(jì)理論,列舉了較多的實(shí)例, 詳細(xì)介紹了關(guān)系數(shù)據(jù)庫(kù)設(shè)
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 《勞動(dòng)合同法》知識(shí)考試題庫(kù)100題(含答案)
- 2025年株洲師范高等??茖W(xué)校高職單招語(yǔ)文2018-2024歷年參考題庫(kù)頻考點(diǎn)含答案解析
- 《綠色環(huán)保培訓(xùn)教材》課件
- 山東省博興二中高三教學(xué)質(zhì)量檢測(cè)語(yǔ)文試題(含答案)
- 精準(zhǔn)醫(yī)療治療服務(wù)項(xiàng)目合同
- 通勤車合同協(xié)議書
- 2025科學(xué)儀器行業(yè)前景及發(fā)展趨勢(shì)分析報(bào)告
- 蔬菜水果居間合同
- 安裝窗簾合同范本
- 設(shè)備訂購(gòu)合同協(xié)議
- (一模)蕪湖市2024-2025學(xué)年度第一學(xué)期中學(xué)教學(xué)質(zhì)量監(jiān)控 英語(yǔ)試卷(含答案)
- 完整版秸稈炭化成型綜合利用項(xiàng)目可行性研究報(bào)告
- 2025中國(guó)海油春季校園招聘1900人高頻重點(diǎn)提升(共500題)附帶答案詳解
- 膽汁淤積性肝硬化護(hù)理
- 《數(shù)據(jù)采集技術(shù)》課件-Scrapy 框架的基本操作
- (2024)河南省公務(wù)員考試《行測(cè)》真題及答案解析
- 湖北省十一校2024-2025學(xué)年高三上學(xué)期第一次聯(lián)考化學(xué)試題 含解析
- 醫(yī)療保險(xiǎn)結(jié)算與審核制度
- 圍城讀書分享課件
- 2025年河北省單招語(yǔ)文模擬測(cè)試二(原卷版)
- 2024版房屋市政工程生產(chǎn)安全重大事故隱患判定標(biāo)準(zhǔn)內(nèi)容解讀
評(píng)論
0/150
提交評(píng)論