摘 要：規(guī)范化問題是關(guān)系數(shù)據(jù)理論的重點和難點，僅從理論上作出解釋，很難使學生理解，本文提出通過一個完整的實例，采用逐步深入的方法解決關(guān)系模式中存在的問題，使學生加深對規(guī)范化理論的理解。

關(guān)鍵詞：數(shù)據(jù)依賴；規(guī)范化；范式

中圖分類號：G64

文獻標識碼：B

文章編號：1672，5913f2008)O1-0051-03

1 問題的提出

我們建立一個描述學校教務的數(shù)據(jù)庫，該數(shù)據(jù)庫涉及的對象包括學生的學號(sno)、學生姓名(sname)、所在系(sdept)、系主任姓名(Mname)、教師姓名(Tname)、課程號(cno)、成績(Grade)。假設用一個單一的關(guān)系模式來表示，則該關(guān)系模式的屬性集合為：

U={Sno，Sname，Sdept，Mname，Tname，Cno，Grade}

從這個關(guān)系模式中，我們可以看出存在以下問題：

(1)數(shù)據(jù)冗余太大

比如：Sdept，Mname等列中數(shù)據(jù)項重復出現(xiàn)，這將浪費大量的存儲空間。

(2)更新異常(update Anomalies)

由于數(shù)據(jù)冗余，當更新數(shù)據(jù)庫中的數(shù)據(jù)時必然造成麻煩，例如，張一改

換了系，從計算機系調(diào)到自動化系，則需從整個關(guān)系中逐一找到其對應的元組進行修改，若漏改一處則造成數(shù)據(jù)矛盾。

(3)插入異常(InsertionAnomalies)

在StudentI表中，主碼是由學號和課程號組合而成的，兩者取值都不允許是空值。這樣，若有一新學生來報道，會由于他沒有選修任何一門課程而無法將其信息插入表中，這樣就形成了插入異常。如果一個系新成立，尚無學生，就無法把這個系及其系主任的信息存入數(shù)據(jù)庫，這樣也形成了插入異常。

(4)刪除異常(Deletion Anomalies)

在Studentl表中，若刪除張三，則整個元組不復存在，連同自動化系主任吳總這一信息也會一并刪掉，這樣會引起信息丟失。

關(guān)系數(shù)據(jù)庫規(guī)范化理論是用來研究如何將一個“不好”的關(guān)系模型轉(zhuǎn)化為一個“好”的關(guān)系模型。其基本思想是通過合理的分解關(guān)系模式來消除其中不合適的數(shù)據(jù)依賴。以解決數(shù)據(jù)冗余、更新異常、插入異常、刪除異常問題。

2 函數(shù)依賴

函數(shù)依賴是數(shù)據(jù)依賴的重要組成部分，1NF，2NF，3NF，BCNF就是在函數(shù)依賴范疇內(nèi)實現(xiàn)分離。函數(shù)依賴的定義：設R(u)是屬性集u上的關(guān)系模式。x，Y是的u子集。若對于R(u)的任意一個可能的關(guān)系r，r中不可能存在兩個元組在x上的屬性值相等，而在Y上的屬性值不等，則稱x函數(shù)確定Y或Y函數(shù)依賴于X，記作X->Y。

在R(u)中，如果x可以推導出Y，并且對于x的任何一個真子集x’，都有x’不可以推導出Y，則稱Y對x的完全函數(shù)依賴。本例可以看出的完全函數(shù)依賴為：(學號，課程名)——成績。

在R(u)中，如果x可以推導出Y，但Y不完全函數(shù)依賴于x，則稱Y對x部分函數(shù)依賴。本例可以看出的完全函數(shù)依賴為：學號——姓名，系。

在R(U)中，如果x可以推導出Y，Y不屬于X，Y可以推導出Z，則稱x對z的傳遞函數(shù)依。本例可以看出的傳遞函數(shù)依賴：學號——系——系主任。

3 規(guī)范化

規(guī)范化的基本思想是逐步消除數(shù)據(jù)依賴中不合適的部分，是模式中的各關(guān)系模式達到某種程度的分離，就是實現(xiàn)概念的單一化，關(guān)系模式的規(guī)范化過程是通過對關(guān)系模式的分解來實現(xiàn)的，把底一級的關(guān)系模式分解為若干個高一級的關(guān)系模式。關(guān)系數(shù)據(jù)庫規(guī)范化理論認為，一個關(guān)系數(shù)據(jù)庫中的每一個關(guān)系都必須滿足一定的約束條件，稱為范式。范式分為六個等級，一級比一級要求嚴格，一個較低范式的關(guān)系，可以通過關(guān)系的無損分解轉(zhuǎn)換為若干較高級范式關(guān)系的集合，這一過程就叫做關(guān)系規(guī)范化。

3. 1 1NF

在一個關(guān)系中，各字段均是不可再分的基本數(shù)據(jù)項，且不存在重復字段，則稱該關(guān)系滿足第一范式。第一范式的關(guān)系是從關(guān)系的基本性質(zhì)而來的，任何關(guān)系都必須遵守。我們從表1中就可以看出第一范式不是一個好的關(guān)系，其原因就是關(guān)系模式存在數(shù)據(jù)冗余、更新異常、插入異常、刪除異常等問題。尋求解決這些問題的方法，這就是規(guī)范化的目的。

3．2 2NF

若R∈1NF，且每一個非主屬性都完全依賴于碼，則R∈2NF。

將1NF轉(zhuǎn)化為2NF，其實質(zhì)是采用投影分解法，將一個1NF的關(guān)系無損分解為幾個2NF的關(guān)系。分解方式為：將部分函數(shù)依賴(學號——姓名，系)單獨提取出來，把表分解為Student2和SGrade，分別如表2、表3。

分析Student2，其中仍然存在以下問題：

(1)數(shù)據(jù)冗余大。計算機，王總各重復了兩次。

(2)更新異常。若計算機更換主任，則必須重復修改計算機每個學生對應的主任的名字，若漏改一處則造成數(shù)據(jù)矛盾。

(3)插入異常。如果新開設一個系，會因為沒有招生而不能插入相應的信息。

(4)刪除異常。若刪除張三，則整個元組不復存在，連同自動化系方面的信息一并刪掉，這樣會引起信息丟失。

存在以上問題的原因就是學生信息表中存在傳遞函數(shù)依賴：學號——系——主任。

3．3 3NF

關(guān)系模式R中若不存在這樣的碼x，屬性組Y及非主屬性z使得x->Y，Y->z成立，則稱R∈3NF。

要想使Student2滿足第三范式，就是消去掉表中的傳遞函數(shù)依賴，方法仍是對表的無損分解。分解方式為：將傳遞函數(shù)依賴單獨提取出來，把表分解為Student3和Sdeptxx，分別表4、表5。

分析Student3，仍然存在數(shù)據(jù)冗余問題。計算機重復了兩次。

分析SGrade，雖然滿足3NF，但仍然存在以下問題：(1)數(shù)據(jù)冗余大。趙一任C001這一信息重復了兩次。(2)更新異常。若趙一所帶的英語課程更換教師，則必須重復修改其所帶班級每個學生對應的任課教師的名字，若漏改一處則造成數(shù)據(jù)矛盾。(3)插入異常。如果新來了一個英語老師，會因為沒有學生選課而不能插入相應的信息。(4)刪除異常。若刪除S002號的C003成績，則整個元組不復存在，連同周一是C003的任課教師的信息一并刪掉，這樣會引起信息丟失。存在以上問題的原因就是學生成績表SGrade中存在作為非主碼的“任課教師”是決定因素。

4 結(jié)論

我們通過一個實例來很好地說明了INF到2NF，2NF到3NF的規(guī)范化過程，可以根據(jù)規(guī)范化理論把3NF分解到BCNF，4NF等更高的關(guān)系模式。從理論上講范式越高，規(guī)范化的程度就越高，關(guān)系模式就越好，但是，關(guān)系數(shù)據(jù)庫一定的冗余是必要的，因為表關(guān)聯(lián)時用的就是冗余列：另外，提高范式級別同時對數(shù)據(jù)庫訪問時間效率有時會有影響的，因為，表之間的關(guān)聯(lián)是要花費時間的，所以我們在進行關(guān)系模式分解的時候，要根據(jù)實際應用情況而定，以滿足一般程序設計的要求為標準，權(quán)衡考慮數(shù)據(jù)冗余、更新異常、插入異常、刪除異常問題。