版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡介
(1)F中每個(gè)FD的右部只含一個(gè)屬性。函數(shù)依賴集的最小覆蓋定義
:設(shè)F
是R(U)上的FD集,如果F滿足以下三個(gè)條件:(2)F中無多余FD。即不存在XA,滿足F與F-{XA}等價(jià)。(3)F中每個(gè)FD的左部都不含多余屬性。即不存在XA,X有真子集Z,滿足:F與(F-{XA})∪{ZA}等價(jià)。則稱F為最小依賴集或最小覆蓋。則對(duì)應(yīng)的規(guī)范覆蓋為:Fc={}。例:設(shè)最小覆蓋為:Fm={C→B,
B→A,C→D,A→E,B→D},將最小覆蓋中左部相同的FD合并成一個(gè)后得到的FD集稱為規(guī)范覆蓋。C→BD,B→AD,A→E函數(shù)依賴集的最小覆蓋(1)
用分解規(guī)則將F中的每個(gè)FD右部分解為單屬性。如何計(jì)算FD集F的最小覆蓋?分三步:F(F-{XY})∪{XAi|i=1,2,…,k
}。對(duì)每個(gè)XYF,若Y=A1A2…Ak(k≥2),則置:(2)
刪除F中多余的FD。對(duì)每個(gè)XAF,令G=F-{XA},若AXG+,則置FG。因:由AXG+可得XA,故F中的XA多余。(3)
刪除F中每個(gè)FD左部的多余屬性。對(duì)每個(gè)XAF,設(shè)X=B1B2…Bm(m≥2),逐個(gè)考查Bi(i=1..m):若A(X-Bi)F+,因:由A(X-Bi)F+可得(X-Bi)A,故XA中Bi是多余屬性。則置F(F-{XA})∪{(X-Bi)A}。F={AC→A,C→B,
B→A,C→D,C→A,AC→D,CB→B,CB→E}例:
求F={AC→A,C→B,
B→A,C→D,C→A,AC→D,CB→BE}的最小覆蓋(1)用分解規(guī)則將F中的每個(gè)FD右部分解為單屬性。(2)刪除F中多余的FD。G={
C→B,
B→A,C→D,C→A,AC→D,CB→B,CB→E}(AC)G+={A,C,…},∵A(AC)G+,∴置FG
。函數(shù)依賴集的最小覆蓋函數(shù)依賴集的最小覆蓋F={
C→B,
B→A,C→D,C→A,AC→D,CB→B,CB→E}G={
B→A,C→D,C→A,AC→D,CB→B,CB→E}CG+={},∴F不變
。,DC,A∵BCG+,例:
求F={AC→A,C→B,
B→A,C→D,C→A,AC→D,CB→BE}的最小覆蓋(1)用分解規(guī)則將F中的每個(gè)FD右部分解為單屬性。(2)刪除F中多余的FD。函數(shù)依賴集的最小覆蓋F={
C→B,
B→A,C→D,C→A,AC→D,CB→B,CB→E}例:
求F={AC→A,C→B,
B→A,C→D,C→A,AC→D,CB→BE}的最小覆蓋BG+={B},∴F不變
?!逜BG+,G={
C→B,C→D,C→A,AC→D,CB→B,CB→E}(1)用分解規(guī)則將F中的每個(gè)FD右部分解為單屬性。(2)刪除F中多余的FD。函數(shù)依賴集的最小覆蓋例:
求F={AC→A,C→B,
B→A,C→D,C→A,AC→D,CB→BE}的最小覆蓋F={
C→B,
B→A,C→D,C→A,AC→D,CB→B,CB→E}G={
C→B,B→A,C→A,AC→D,CB→B,CB→E}CG+={},∴置FG
。,BC,A∵DCG+,,D,E(1)用分解規(guī)則將F中的每個(gè)FD右部分解為單屬性。(2)刪除F中多余的FD。函數(shù)依賴集的最小覆蓋例:
求F={AC→A,C→B,
B→A,C→D,C→A,AC→D,CB→BE}的最小覆蓋F={
C→B,
B→A,C→A,AC→D,CB→B,CB→E}G={
C→B,B→A,AC→D,CB→B,CB→E}CG+={},∴置FG
。,BC,A∵ACG+,,D,E(1)用分解規(guī)則將F中的每個(gè)FD右部分解為單屬性。(2)刪除F中多余的FD。函數(shù)依賴集的最小覆蓋例:
求F={AC→A,C→B,
B→A,C→D,C→A,AC→D,CB→BE}的最小覆蓋A,CF={
C→B,
B→A,AC→D,CB→B,CB→E}G={
C→B,B→A,
CB→B,CB→E}(AC)G+={},∴F不變
。,B,E∵D(AC)G+
,(1)用分解規(guī)則將F中的每個(gè)FD右部分解為單屬性。(2)刪除F中多余的FD。函數(shù)依賴集的最小覆蓋例:
求F={AC→A,C→B,
B→A,C→D,C→A,AC→D,CB→BE}的最小覆蓋(CB)G+={},C,B,…F={
C→B,
B→A,AC→D,CB→B,CB→E}G={
C→B,B→A,AC→D,CB→E}∴置FG
。∵B(CB)G+,(1)用分解規(guī)則將F中的每個(gè)FD右部分解為單屬性。(2)刪除F中多余的FD。函數(shù)依賴集的最小覆蓋例:
求F={AC→A,C→B,
B→A,C→D,C→A,AC→D,CB→BE}的最小覆蓋(CB)G+={},C,BF={
C→B,
B→A,AC→D,
CB→E}G={
C→B,B→A,AC→D
}∴F不變
。,A,D∵E(CB)G+,(1)用分解規(guī)則將F中的每個(gè)FD右部分解為單屬性。(2)刪除F中多余的FD。函數(shù)依賴集的最小覆蓋例:
求F={AC→A,C→B,
B→A,C→D,C→A,AC→D,CB→BE}的最小覆蓋F={
C→B,
B→A,AC→D,
CB→E}(3)刪除F中每個(gè)FD左部的多余屬性。F={
C→B,
B→A,AC→D,
CB→E
}CF+={},C∴A是多余屬性,刪去。,B,A∵DCF+,,D,E
C→D,(1)用分解規(guī)則將F中的每個(gè)FD右部分解為單屬性。(2)刪除F中多余的FD。函數(shù)依賴集的最小覆蓋例:
求F={AC→A,C→B,
B→A,C→D,C→A,AC→D,CB→BE}的最小覆蓋F={
C→B,
B→A,AC→D,
CB→E}F={
C→B,
B→A,AC→D,
CB→E
}(1)用分解規(guī)則將F中的每個(gè)FD右部分解為單屬性。(2)刪除F中多余的FD。
C→D,BF+={},B∴C不是多余屬性,保留。,A∵EBF+,(3)刪除F中每個(gè)FD左部的多余屬性。函數(shù)依賴集的最小覆蓋例:
求F={AC→A,C→B,
B→A,C→D,C→A,AC→D,CB→BE}的最小覆蓋F={
C→B,
B→A,AC→D,
CB→E}F={
C→B,
B→A,AC→D,
CB→E
}(1)用分解規(guī)則將F中的每個(gè)FD右部分解為單屬性。(2)刪除F中多余的FD。
C→D,(3)刪除F中每個(gè)FD左部的多余屬性。CF+={},C∴B是多余屬性,刪去。,B,A∵ECF+,,D,EC→EF的規(guī)范覆蓋為:Fc={}最后得到F的最小覆蓋為:Fm={C→B,
B→A,C→D,C→E},B→AC→BDE多值依賴在函數(shù)依賴范疇內(nèi),BCNF已經(jīng)非常完美。但是屬于BCNF的關(guān)系模式仍可能存在問題。例如:假設(shè)多個(gè)教師上同一門課程,使用同一套參考書:注意:
TC不成立,因?yàn)橐粋€(gè)教師可以上多門課。
BC不成立,因?yàn)閰⒖紩梢钥缯n程交叉使用。數(shù)學(xué)分析高等代數(shù)微分方程數(shù)學(xué)鄧軍陳斯物理李平王強(qiáng)鄧軍普通物理微分方程用關(guān)系模式Teach(C,T,B)表示。課程教師參考書F={},候選碼為CTB,即全碼,所以Teach∈BCNF否則:候選碼是TBTeach∈2NF
TBC是部分依賴Teach關(guān)系存在以下4個(gè)問題:Teach(C,T,B)存在的問題數(shù)據(jù)冗余大:有多少教師上同一門課,參考書就重復(fù)多少次;(2)更新異常:改某一門課的參考書需要修改該課的所有記錄;(3)插入異常:
某門課增加一個(gè)教師,該課有多少參考書就需要插入多少個(gè)元組;(4)刪除異常:刪除某門課的一本參考書,該課程有多少教師就要?jiǎng)h除多少元組。原因:對(duì)于每一門課,Teach表中都存儲(chǔ)了T和B的笛卡爾積,即下列條件對(duì)每門課x都成立:TeachCTB數(shù)學(xué)數(shù)學(xué)數(shù)學(xué)數(shù)學(xué)數(shù)學(xué)數(shù)學(xué)物理物理物理物理物理物理…鄧軍鄧軍鄧軍陳斯陳斯陳斯李平李平王強(qiáng)王強(qiáng)鄧軍鄧軍…數(shù)學(xué)分析高等代數(shù)微分方程數(shù)學(xué)分析高等代數(shù)微分方程普通物理微分方程普通物理微分方程普通物理微分方程…PT,B(sC=x(Teach))=PT
(sC=x(Teach))×PB(sC=x(Teach))由此引出多值依賴的定義:R(U)UXYZrXYZ………………………設(shè)R(U)是U上的關(guān)系模式,定義(多值依賴):X,Y,ZU,且Z=U-X-Y,若對(duì)R(U)的任意關(guān)系r,都有:以及r在X屬性組上的任意值x,成立,PY,Z(sX=x(r))=PY
(sX=x(r))×PZ(sX=x(r))xx說明:則稱X多值確定Y或Y多值依賴于X,記作XY。條件必須對(duì)R(U)的所有可能關(guān)系在X屬性組上的所有可能值都成立,只要在某個(gè)可能值上條件不成立,則:XY不成立。R(U)UXYZrXYZ………………………………設(shè)R(U)是U上的關(guān)系模式,多值依賴的另一個(gè)定義:X,Y,ZU,且Z=U-X-Y,若R的任意關(guān)系r滿足:那么(x,y2,z1)和(x,y1,z2)也是r的元組,只要(x,y1,z1)和(x,y2,z2)是r的元組,說明:則稱多值依賴XY在R(U)上成立。兩種定義是等價(jià)的:xy1
z1xy2
z2xy2
z1xy1
z2y1
z1y2
z2y2
z1y1
z2y1y2z1z2=×多值依賴的性質(zhì)(1)對(duì)稱性:若XY,則XU-X-Y(即Z)證明:PY,Z(sX=x(r))=PY
(sX=x(r))×PZ(sX=x(r))成立,必有PZ,Y(sX=x(r))=PZ
(sX=x(r))×PY(sX=x(r))成立。(2)傳遞性:若XY,YZ,則XZ-Y證明非常復(fù)雜,大大超出了本課程的范圍。(3)復(fù)制性:若XY,則XY。rXYZ………x…xy…yz1…zk………XY:若X上的分量相等,則Y上的分量相等。PY,Z(.)PY
(.)PZ(.)yz1…yzkyz1…zk×=×=證明:所以XY多值依賴的性質(zhì)(1)對(duì)稱性:若XY,則XU-X-Y(即Z)證明:PY,Z(sX=x(r))=PY
(sX=x(r))×PZ(sX=x(r))成立,必有PZ,Y(sX=x(r))=PZ
(sX=x(r))×PY(sX=x(r))成立。(2)傳遞性:若XY,YZ,則XZ-Y證明非常復(fù)雜,大大超出了本課程的范圍。(3)復(fù)制性:若XY,則XY。(4)并規(guī)則:若XY,XZ,則XYZ。(5)交規(guī)則:若XY,XZ,則XY∩Z。(6)差規(guī)則:若XY,XZ,
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(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ì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 2024年醫(yī)院聘用合同格式版(二篇)
- 2024年導(dǎo)游工作計(jì)劃范文(二篇)
- 2024年合伙開店合同參考范文(五篇)
- 2024年學(xué)校安全生產(chǎn)月活動(dòng)總結(jié)簡單版(二篇)
- 2024年國際貿(mào)易合同參考模板(四篇)
- 2024年圖書館考勤制度范文(七篇)
- 【《后疫情時(shí)代喜茶營銷策略探究(論文)》11000字】
- 2024年安全工作領(lǐng)導(dǎo)小組職責(zé)范文(二篇)
- 2024年單項(xiàng)工程承包合同模板(四篇)
- 2024年實(shí)訓(xùn)總結(jié)參考范文(二篇)
- 城市軌道交通列車自動(dòng)控制系統(tǒng)維護(hù) 課件 3.1 ZC系統(tǒng)認(rèn)知
- 2024年消防宣傳月知識(shí)競賽考試題庫200題(含答案)
- 《全面質(zhì)量管理》習(xí)題集(含答案)
- 汽車行業(yè)金融服務(wù)方案
- 期中(1-4單元)(試題)-2024-2025學(xué)年六年級(jí)數(shù)學(xué)上冊(cè)西師大版
- 河南國有資本運(yùn)營集團(tuán)有限公司招聘筆試題庫2024
- 2024年國家機(jī)關(guān)事務(wù)管理局機(jī)關(guān)服務(wù)中心招聘歷年高頻考題難、易錯(cuò)點(diǎn)模擬試題(共500題)附帶答案詳解
- 2024年勞資員題庫
- Unit 3 Family Matters Developing Ideas Writing about a Family Memory 教學(xué)設(shè)計(jì)-2024-2025學(xué)年高一上學(xué)期英語外研版(2019)必修第一冊(cè)
- 《直播運(yùn)營實(shí)務(wù)》 課件 5.3直播間場景搭建
- 內(nèi)外部項(xiàng)目合作管理制度
評(píng)論
0/150
提交評(píng)論