关系数据库设计理论课件.pptVIP

4.2.5第二範式

1．第二範式的定義定義4.7如果關係模式R∈1NF，R（U，F）中的所有非主屬性都完全函數依賴於任意一個候選關鍵字，則稱關係R是屬於第二範式（SecondNormalForm），簡稱2NF，記作R∈2NF。從定義可知，滿足第二範式的關係模式R中，不可能有某非主屬性對某候選關鍵字存在部分函數依賴2．2NF的規範化2NF規範化是指把1NF關係模式通過投影分解，消除非主屬性對候選關鍵字的部分函數依賴，轉換成2NF關係模式的集合的過程。注意：如果R的候選關鍵字均為單屬性，或R的全體屬性均為主屬性，則R∈2NF。4.2.6第三範式1．第三範式的定義定義4.8如果關係模式R∈2NF，R（U，F）中所有非主屬性對任何候選關鍵字都不存在傳遞函數依賴，則稱R是屬於第三範式（ThirdNormalForm），簡稱3NF，記作R∈3NF。第三範式具有如下性質：(1)如果R∈3NF，則R也是2NF。(2)如果R∈2NF，則R不一定是3NF。4.2.6第三範式2NF的關係模式解決了1NF中存在的一些問題，但2NF的關係模式SDC在進行數據操作時，仍然存在下麵一些問題：1.數據冗餘2.插入異常3.刪除異常4.修改異常之所以存在這些問題，是由於在SDC中存在著非主屬性對候選關鍵字的傳遞依賴。消除這種依賴就轉換成了3NF。2．3NF的規範化3NF規範化是指把2NF關係模式通過投影分解，消除非主屬性對候選關鍵字的傳遞函數依賴，而轉換成3NF關係模式集合的過程。4.2.7BC範式1．BC範式的定義定義4.9如果關係模式R∈1NF，且所有的函數依賴X→Y（Y不包含於X，即YX），決定因素X都包含了R的一個候選碼，則稱R屬於BC範式（Boyce-CoddNormalForm）,記作R∈BCNF。由BCNF的定義可以得到以下結論，一個滿足BCNF的關係模式有：(1)所有非主屬性對每一個候選碼都是完全函數依賴。(2)所有的主屬性對每一個不包含它的候選碼都是完全函數依賴。(3)沒有任何屬性完全函數依賴於非碼的任何一組屬性。4.2.7BC範式2．?BCNF規範化BCNF規範化是指把3NF的關係模式通過投影分解轉換成BCNF關係模式的集合。4.2.8多值依賴與4NF前面所介紹的規範化都是建立在函數依賴的基礎上，函數依賴表示的是關係模式中屬性間的一對一或一對多的聯繫，但它並不能表示屬性間多對多的關係，因而某些關係模式雖然已經規範到BCNF，仍然存在一些弊端，本節主要討論屬性間的多對多的聯繫即多值依賴問題，以及在多值依賴範疇內定義的第四範式。1.多值依賴(1)多值依賴的定義4.2.8多值依賴與4NF

定義4.10設有關係模式R（U），U是屬性全集，X，Y，Z是屬性集U的子集，且Z=U-X-Y，如果對於R的任一關係，對於X的一個確定值，存在Y的一組值與之對應，且Y的這組值僅僅決定於X的值而與Z值無關，此時稱Y多值依賴於X，或X多值決定Y，記作：X→→Y。在多值依賴中，若X→→Y且Z=U-X-Y≠φ，則稱X→→Y是非平凡的多值依賴，否則稱為平凡的多值依賴。如：在關係模式CTR中，對於某一C、R屬性值組合（資料庫系統概論，資料庫系統）來說，有一組T值{薩師煊，王珊}，這組值僅僅決定與課程C上的值（資料庫系統概論）。也就是說，對於另一個C、R屬性值組合（資料庫系統概論，SQLServer2000），它對應的一組T值仍是{薩師煊，王珊}，儘管這時參考書R的值已經改變了。因此T多值依賴於C，即：C→→T。4.2.8多值依賴與4NF下麵是多值依賴的另一形式化定義：設有關係模式R（U），U是屬性全集，X、Y、Z是屬性集合U的子集，且Z=U-X-Y，r是關係模式R的任一關係，t,s是r的任意兩個元組，如果t[X]=s[X],r中必有的兩個元組u、v存在，使得：①s[x]=t[X]=u[X]=v[X]②u[Y]=t[Y]且u[Z]=s[Z]③v[Y]=s[Y]且v[Z]=t[Z]則稱X多值決定Y或Y多值依賴於X。(2)多值依賴與函數依賴的區別4.2.8多值依賴與4NF①在關係模式R中，函數依賴X→Y的有效性僅僅決定與X、Y這兩個屬性集，不涉及第三個屬性集，而在多值依賴中，X