[工學(xué)]第6章數(shù)據(jù)庫-文庫吧資料
2024-10-25 00:24本頁面
【正文】 ’ 動科 ’ 的學(xué)生還未選課，因課程號是主屬性，因此該學(xué)生的信息無法插入數(shù)據(jù)庫。 An Introduction to Database System 2NF ? 2NF的定義 定義 若關(guān)系模式 R∈1NF ，并且每一個 非主屬性都 完全 函數(shù)依賴于 R的碼，則 R∈2NF 。不滿足第一范式的數(shù)據(jù)庫模式不能稱為關(guān)系數(shù)據(jù)庫。 An Introduction to Database System 范式 ? 范式的種類： 第一范式 (1NF) 第二范式 (2NF) 第三范式 (3NF) BC范式 (BCNF) 第四范式 (4NF) 第五范式 (5NF) An Introduction to Database System 1NF ? 1NF的定義 如果一個關(guān)系模式 R的所有屬性都是 不可分的基本數(shù)據(jù)項(xiàng) ，則 R∈1NF 。 ? 現(xiàn)在把范式這個概念理解成符合某一級別的關(guān)系的集合，則 R為第幾范式可以寫成 R∈ xNF。 ? 本來，所謂 “ 第幾范式 ” ，是表示關(guān)系的某一級別。 An Introduction to Database System 范式 ? 關(guān)系數(shù)據(jù)庫中的關(guān)系必須滿足一定的要求。 如：在選課關(guān)系 sc中， sno,o f (sno,o,grade)，所以（ sno,o）是關(guān)系 sc的碼， sno,o為主屬性，而 grade為非主屬性。 ? 主屬性：包含在任何一個候選碼中的屬性。若 K ｆ U，則 K稱為 R的一個 侯選碼 （ Candidate Key）。 注 : 如果 Y→X ， 即 X←→Y ，則 Z直接依賴 于 X。 若 X→Y ，但 Y不完全函數(shù)依賴于 X，則稱 Y部分函數(shù)依賴 于 X，記作 X P Y。 An Introduction to Database System 二、平凡函數(shù)依賴與非平凡函數(shù)依賴 在關(guān)系模式 R(U)中，對于 U的子集 X和 Y， 如果 X→ Y，但 Y ? X，則稱 X→ Y是 非平凡的函數(shù)依賴 若 X→ Y，但 Y ? X, 則稱 X→ Y是 平凡的函數(shù)依賴 例：在關(guān)系 SC(Sno, Cno, Grade)中， 非平凡函數(shù)依賴： (Sno, Cno) → Grade 平凡函數(shù)依賴： (Sno, Cno) → Sno (Sno, Cno) → Cno An Introduction to Database System 平凡函數(shù)依賴與非平凡函數(shù)依賴（續(xù)） ? 對于任一關(guān)系模式，平凡函數(shù)依賴都是必然成立的，它不反映新的語義，因此若不特別聲明， 我們總是討論非平凡函數(shù)依賴 。 An Introduction to Database System 函數(shù)依賴（續(xù)） 例 : S(Sno, Sname, Ssex, Sage, Sdept) 假設(shè)不允許重名，則有 : Sno → Ssex， Sno → Sage , Sno → Sdept， Sno ←→ Sname， Sname → Ssex， Sname → Sage Sname → Sdept 但 Ssex→ Sage 若 X→ Y，并且 Y→ X, 則記為 X←→ Y。例如規(guī)定不允許同名人出現(xiàn)，函數(shù)依賴 “ 姓名 → 年齡 ” 成立。只能根據(jù)數(shù)據(jù)的語義來確定函數(shù)依賴。 Y=f(x) Sno Sname Ssex Sage sdept 95001 李明 男 21 信息 95002 張華 女 18 信息 95003 王小茜 女 19 信息 95004 張華 男 20 植保 95005 劉四海 男 19 植保 95006 陳誠 男 18 植保 95007 葉嬌 女 20 植保 An Introduction to Database System 說明： 1. 函數(shù)依賴不是指關(guān)系模式 R的某個或某些關(guān)系實(shí)例滿足的約束條件，而是指 R的 所有關(guān)系實(shí)例 均要滿足的約束條件。 An Introduction to Database System 函數(shù)依賴 一、函數(shù)依賴 二、平凡函數(shù)依賴與非平凡函
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1