關(guān)系數(shù)據(jù)庫基本原理(編輯修改稿)
2025-06-18 16:44 本頁面
【文章內(nèi)容簡介】 一的候選關(guān)鍵屬性為關(guān)鍵屬性，否則，應(yīng)從多個候選關(guān)鍵屬性中指定一個作為關(guān)鍵屬性。 習(xí)慣上把候選關(guān)鍵屬性稱為候選關(guān)鍵字，關(guān)鍵屬性稱為關(guān)鍵字。 主屬性和非主屬性 定義 5 設(shè) Ai是關(guān)系模式 R的一個屬性，若 Ai屬于 R的某個候選關(guān)鍵屬性，稱 Ai是 R的主屬性，否則，稱 Ai為非主屬性。 19 19 關(guān)系模式的分解 2. 第 1范式 對關(guān)系模式的規(guī)范化要求分成從低到高不同的層次，分別稱為第 1范式、第 2范式、第 3范式、 BoyceCodd范式、第 4范式和第 5范式。 定義 6 當關(guān)系模式 R的所有屬性都不能分解為更基本的數(shù)據(jù)單位時，稱 R是滿足第 1范式的，簡記為 1NF。 例如，如果關(guān)于員工的關(guān)系中有一個工資屬性，而工資又由更基本的兩個數(shù)據(jù)項基本工資和崗位工資組成，則這個員工的關(guān)系模式就不滿足 1NF。 20 20 關(guān)系模式的分解 3. 第 2范式 定義 7 如果關(guān)系模式 R滿足第 1范式，并且 R的所有非主屬性都完全依賴于 R的每一個候選關(guān)鍵屬性，稱 R滿足第 2范式，簡記為 2NF。 4. 第 3范式 定義 8 設(shè) R是一個滿足第 1范式條件的關(guān)系模式， X是 R的任意屬性集，如果 X非傳遞依賴于 R的任意一個候選關(guān)鍵字，稱 R滿足第 3范式，簡記為 3NF。 定理 若關(guān)系模式 R符合 3NF條件，則 R一定符合 2NF條件。 21 21 關(guān)系模式的分解 5. BoyceCodd范式 定義 9 設(shè) R是一個關(guān)系模式，若 R的每一個函數(shù)依賴關(guān)系的左部都是 R的一個候選關(guān)鍵字，稱 R滿足 BoyceCodd范式，簡記為 BCNF。 可以證明， BCNF是比 3NF更強的規(guī)范 (證明略 )，即符合BCNF條件的關(guān)系模式一定符合 3NF條件，但反過來卻不成立。 22 22 關(guān)系模式的分解 ? 關(guān)系的分解 1. 關(guān)系模式分解的一般問題 所謂關(guān)系模式的分解，就是對原有關(guān)系在不同的屬性上進行投影，從而將原有關(guān)系分解為兩個或兩個以上的含有較少屬性的多個關(guān)系。 2. 3NF分解 (1)如果 R不滿足 1NF條件，先對其分解，使其滿足 1NF。 對 R進行 1NF分解的方法不是采用投影，而是直接將其復(fù)合屬性進行分解，用分解后的基本屬性集取代原來的屬性，以獲得 1NF。 24 24 如果一個關(guān)系模式 R的所有屬性都是 不可分的基本數(shù)據(jù)項 ，則 R∈ 1NF ? 第一范式是對關(guān)系模式的最起碼的要求。不滿足第一范式的數(shù)據(jù)庫模式不能稱為關(guān)系數(shù)據(jù)庫 ? 但是滿足第一范式的關(guān)系模式并不一定是一個好的關(guān)系模式 25 25 [例 ] 關(guān)系模式 SLC(Sno, Sdept, Sloc, Cno, Grade) Sloc為學(xué)生住處，假設(shè)每個系的學(xué)生住在同一個地方 ? 函數(shù)依賴包括： (Sno, Cno) F Grade Sno → Sdept (Sno, Cno) P Sdept Sno → Sloc (Sno, Cno) P Sloc Sdept → Sloc ? SLC的碼為 (Sno, Cno) ? SLC滿足第一范式。 ? 非主屬性 Sdept和 Sloc部分函數(shù)依賴于碼 (Sno, Cno) 26 26 SLC不是一個好的關(guān)系模式 ? 原因 Sdept、 Sloc部分函數(shù)依賴 于碼。 ? 解決方法 SLC分解為兩個關(guān)系模式，以 消除這些部分函數(shù)依賴 SC（ Sno， Cno， Grade） ∈ 2NF SL（ Sno， Sdept， Sloc） ∈ 2NF ? 關(guān)系模式 SC的碼為（ Sno， Cno） ? 關(guān)系模式 SL的碼為 Sno ? 這樣非主屬性對碼都是完全函數(shù)依賴 27 27 3NF 例： 2NF關(guān)系模式 SL(Sno, Sdept, Sloc)中 函數(shù)依賴： Sno→Sdept Sdept → Sno Sdept→Sloc 可得： Sno→Sloc ，即 SL中存在非主屬性對碼的傳遞函數(shù)依 賴， SL ∈ 3NF 傳遞 傳遞 28 28 3NF ? 解決方法 采用投影分解法，把 SL分解為兩個關(guān)系模式，以消除傳遞函數(shù)依賴： SD（ Sno， Sdept） DL（ Sdept， Sloc） SD的碼為 Sno， DL的碼為 Sdept。 ? 分解后的關(guān)
黨政相關(guān)相關(guān)推薦
鄂ICP備17016276號-1