[理學(xué)]第三章關(guān)系數(shù)據(jù)理論-在線瀏覽
2025-04-08 03:59本頁面
【正文】 e Score 學(xué)校數(shù)據(jù)庫的語義： ⒈一個(gè)系有若干學(xué)生， 一個(gè)學(xué)生只屬于一個(gè)系； ⒉一個(gè)系只有一名主任； ⒊一個(gè)學(xué)生可以選修多門課程， 每門課程有若干學(xué)生選修； ⒋每個(gè)學(xué)生所學(xué)的每門課程都有一個(gè)成績(jī)。語義為： 一個(gè)系有若干個(gè)班，每個(gè)班有若干學(xué)生，一個(gè)系的學(xué)生住在同一個(gè)宿舍區(qū)，每個(gè)學(xué)生可參加若干學(xué)會(huì)，每個(gè)學(xué)會(huì)有若干學(xué)生 。 ?學(xué)會(huì)的屬性有： 學(xué)會(huì)名、成立年份、地點(diǎn)、人數(shù)、學(xué)生 參加某會(huì)有一個(gè)入會(huì)年份。（ 5） 20 有關(guān)函數(shù)依賴的幾點(diǎn)說明： 1．平凡的函數(shù)依賴與非平凡的函數(shù)依賴。 21 有關(guān)函數(shù)依賴的幾點(diǎn)說明 ： 2．函數(shù)依賴是語義范疇的概念。 例如，對(duì)于關(guān)系模式 S，當(dāng)學(xué)生不存在重名的情況下，可以得到： SName→Sage SName→CLno。 學(xué)生無重名時(shí)， SNo←→SName 。 CLno與 SNo之間有 SNo→CLno ③ m∶ n， X與 Y之間不存在任何函數(shù)依賴關(guān)系。 22 函數(shù)依賴的分類 函數(shù)依賴 定義 在 R(U)中，如果 X→Y，并且對(duì)于 X的任何一個(gè)真子集 X’，都有 X’→Y, 則稱 Y對(duì) X完全函數(shù)依賴 ，記作 X → Y。 1． 完全函數(shù)依賴 與 部分函數(shù)依賴 P F F 23 例 ， 分析下面關(guān)系模式中是否存在 對(duì)碼的完全函數(shù)依賴 和 部分函數(shù)依賴 ？ Student (Sno, Sdept, Mname, Cname, Score ) Sno Cname Sdept Mname Score 函數(shù)依賴： (Sno,Cname)→Score Sno→Sdept Sdept→Mname 對(duì)碼的完全函數(shù)依賴： 由于 (Sno,Cname) → Score Sno→Score Cname → Score 所以 (Sno,Cname) → Score F 對(duì)碼的部分函數(shù)依賴： 由于 (Sno,Cname) 為碼 (Sno,Cname) → Sdept Sno→ Sdept 所以 (Sno,Cname) → Sdept p 24 例，在關(guān)系模式 S（ SNo， SName， SAge，CLno） 中，是否存在對(duì)碼的部分函數(shù)依賴？ SNo →SName ， SNo →Sage ， SNo →CLno 例，在關(guān)系模式 SMD（ SNo， SName， SAge，CLno,MN,CNo,Score） 中，是否存在對(duì)碼的部分函數(shù)依賴？ SNo →SName ， SNo →Sage ， SNo →CLno CLno →MN, (SNo,CNo)→ Score F F F p p p F (SNo,CNo) →SName ， (SNo,CNo) → Sage ， (SNo,CNo) →CLno (SNo,CNo)→ Score 注意：只有當(dāng)決定因素是組合屬性時(shí)，討論部分函數(shù)依賴才有意義 SNo CNo SName Sage CLno MN Score 25 函數(shù)依賴的分類 函數(shù)依賴 2． 傳遞函數(shù)依賴 定義 在 R(U)中，如果 X→Y,Y→X， Y→Z，則稱 Z對(duì) X傳遞函數(shù)依賴 。 T Sno → Sdept Sdept→ Sno Sdept → Mname Sno → Mname Sno Cname Sdept Mname Score 例：分析下面的關(guān)系數(shù)據(jù)庫是否存在傳遞依賴 T 26 ?函數(shù)依賴： ?平凡函數(shù)依賴： ?完全函數(shù)依賴： ?部分函數(shù)依賴： ?傳遞函數(shù)依賴 : 例如， Sno → Clno， Clno→ MN MN傳遞函數(shù)依賴于 Sno SNo→SID， SID→CLno， CLno對(duì) SNo是？函數(shù)依賴 直接函數(shù)依賴 因?yàn)? SID→SNo X→Y “X函數(shù)確定 Y” 或 “ Y函數(shù)依賴于 X” (Sno, Cno) → Sno X F Y (Sno,Cno) →Score X P Y (Sno,Cno)→Sname 需要理解的概念 X→Y,Y→X Y→Z 則： X → Z T 27 函數(shù)依賴 碼 定義 設(shè) K為 RU,F中的屬性或?qū)傩越M合。 若候選碼多于一個(gè)，則選定其中的一個(gè)做為 主碼（ Primary Key）。 不好的關(guān)系模式 ?存在數(shù)據(jù)冗余、插入異常、更新異常、刪除異常 ?模式中存在著一些不合適的依賴問題 ?消除模式中不合適的函數(shù)依賴（方法） ?分解關(guān)系模式（具體手段） ? 好的關(guān)系模式 函數(shù)依賴 完全函數(shù)依賴 、部分函數(shù)依賴 、傳遞函數(shù)依賴 多值依賴 連接依賴 Sno Cname Sdept Mname Score Student (Sno, Sdept, Mname, Cname, Score ) 30 范式 本節(jié)內(nèi)容 * 范式概要 第一范式 第二范式 第三范式 BC范式 31 * 范式概要 范式 范式（ Normal Form） 關(guān)系數(shù)據(jù)庫的規(guī)范化過程中為不同程度的規(guī)范化要求設(shè)立的不同標(biāo)準(zhǔn)稱為范式 。從 1971年起， Codd相繼提出了關(guān)系的三級(jí)規(guī)范化形式，即第一范式（ 1NF）、第二范式（ 2NF）、第三范式（ 3NF）。 1976年 Fagin提出了第四范式，后來又有人定義了第五范式。 各個(gè)范式之間的聯(lián)系可以表示為： 5NF 4NF BCNF 3NF 2NF 1NF ? ? ?? ?32 圖 各種范式之間的關(guān)系 33 定義 如果關(guān)系模式 R， 其 所有的屬性均為簡(jiǎn)單屬性 ， 即 每個(gè)屬性都是不可再分的 ， 則稱 R屬于第一范式 ， 簡(jiǎn)稱 1NF， 記作 R?1NF。 1NF是區(qū)分一個(gè)模式是否是關(guān)系模式的基本要求。 34 S N oC N oS c o r eS N a m eS A g eC L n oM N
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1