[計算機]規(guī)范化理論(編輯修改稿)
2024-11-15 03:56 本頁面
【文章內容簡介】 NF3NF2NF1 ????? 一個低一級的范式，通過模式分解可以轉換為若干個高一級范式的關系模式的集合，這種過程就稱為 規(guī)范化 。 第一范式（ 1NF） 定義： 如果一個關系模式 R的所有屬性都是 不可分的基本數據項 ，則 R? 1NF。 說明： ?第一范式是對關系模式的最起碼的要求。不滿足第一范式的數據庫模式不能稱為關系數據庫。 ? 但是滿足第一范式的關系模式并不一定是一個好的關系模式。 第二范式（ 2NF） 定義 若關系模式 R? 1NF，并且每一個 非主 屬性都 完全 函數依賴于 R的碼，則 R? 2NF。 例 : 關系模式 SLC(Sno, Sdept, Sloc, Cno, Grade) Sloc為學生住處，假設每個系的學生住在同一個地方。 函數依賴包括： (Sno, Cno) f Grade Sno → Sdept (Sno, Cno) P Sdept Sno → Sloc (Sno, Cno) P Sloc Sdept → Sloc Sno Cno Grade Sdept Sloc SLC 說明： ? SLC的碼為 (Sno, Cno) ? SLC滿足第一范式。 ? 非主屬性 Sdept和 Sloc部分函數依賴于碼 (Sno, Cno) SLC ? 2NF SLC ? 2NF， 會產生以下幾個問題： (1) 插入異常 假設 Sno＝ 95102， Sdept＝ IS， Sloc＝ N，但學生還未選課，因課程號是主屬性，因此該學生的信息無法插入 SLC。 (2) 刪除異常 假定某個學生本來只選修了 3號課程這一門課。現在他連 3號課程也不選修了。因課程號是主屬性，此操作將導致該學生信息的整個元組都要刪除。 (3) 數據冗余度大 如果一個學生選修了 10門課程，那么他的 Sdept和 Sloc值就要重復存儲了 10次。 (4) 修改復雜 例如學生轉系，在修改此學生元組的 Sdept值的同時，還可能需要修改住處（ Sloc）。如果這個學生選修了 K門課，則必須無遺漏地修改 K個元組中全部 Sdept、 Sloc信息。 ? 原因 Sdept、 Sloc部分函數依賴于碼。 ? 解決方法 SLC分解為兩個關系模式，以消除這些部分函數依賴 SC（ Sno， Cno， Grade） SL（ Sno， Sdept， Sloc） 分解后的函數依賴圖： Sno Cno Grade SC SL Sno Sdept Sloc 說明： ?采用投影分解法將一個 1NF的關系分解為多個 2NF的關系，可以在一定程度上減輕原 1NF關系中存在的插入異常、刪除異常、數據冗余度大、修改復雜等問題。 ? 將一個 1NF關系分解為多個 2NF的關系，并不能完全消除關系模式中的各種異常情況和數據冗余。 第三范式（ 3NF） 定義 關系模式 RU， F 中若不存在這樣的碼 X、屬性組 Y及 非主屬性 Z（ Z ? Y） , 使得 X→ Y， Y→ Z，成立，則稱 RU，F ? 3NF。 說明： ? 若 R? 3NF，則 R的每一個 非主屬性 既不部分函數依賴于候選碼也不傳遞函數依賴于候選碼。 ? 如果 R? 3NF，則 R也是 2NF。 ? 采用投影分解法將一個 2NF的關系分解為多個 3NF的關系，可以在 一定程度上 解決原 2NF關系中存在的插入異常、刪除異常、數據冗余度大、修改復雜等問題。 ? 將一個 2NF關系分解為多個 3NF的關系后，并不能完全消除關系模式中的各種異常情況和數據冗余。 例： 2NF關系模式 SL(Sno, Sdept, Sloc)中函數依賴： Sno→ Sdept Sdept→ Sloc Sno→ Sloc 函數依賴圖： SL Sno Sdept Sloc Sloc傳遞函數依賴于 Sno，即 SL中存在非主屬性對碼的傳遞函數依賴。 SL ? 3NF 解決方法 采用投影分解法，把 SL分解為兩個關系模式，以消除傳遞函數依賴： SD（ Sno， Sdept） DL（ Sdept， Sloc） SD的碼為 Sno， DL的碼為 Sdept。 Sno Sdept SD Sdept Sloc DL SL(Sno, Sdept, Sloc) ? 2NF SL(Sno, Sdept, Sloc) ? 3NF SD（ Sno， Sdept） ? 3NF DL（ Sd
教學課件相關推薦
鄂ICP備17016276號-1