第3章 關(guān)系規(guī)范化基礎(chǔ)

1、第3章 關(guān)系規(guī)范化基礎(chǔ)學(xué)習(xí)目的：會(huì)根據(jù)一個(gè)關(guān)系的語義，分析出屬性間存在的各種函數(shù)依賴，并能夠得出相應(yīng)的最小函數(shù)依賴集；掌握關(guān)系的第一、二、三以及BC范式的定義，會(huì)根據(jù)一個(gè)關(guān)系的最小函數(shù)依賴集確定它的規(guī)范化級(jí)別；會(huì)對(duì)一個(gè)具體關(guān)系進(jìn)行規(guī)范化，使之達(dá)到所要求的規(guī)范化級(jí)別定義1(FD) 設(shè)關(guān)系模式R(U)，X,Y Í U，r是R(U)上的任一關(guān)系，對(duì)任意t1、t2Îr, 如果 t1X=t2X 有t1Y=t2 Y，稱X函數(shù)決定Y，或Y函數(shù)依賴于X，記為：FD XY定義(平凡/非平凡的FD) 設(shè)FD XY，如果YËX，則稱 FD XY為非平凡的函數(shù)依賴；否則，若YÍ

2、X，稱FD XY為平凡的函數(shù)依賴。 定義(完全FD): 設(shè)FD XY，如果對(duì)任意的XÌ¢X， X¢Y都不成立，則稱XY是完全函數(shù)依賴；若對(duì)X的真子集X¢有XÌ¢X，而X¢Y成立，則稱FD XY是部分函數(shù)依賴，即Y函數(shù)依賴于X的一部分。定義(傳遞FD):設(shè)關(guān)系模式R，X、Y、Z是R的屬性子集，若FD XY，Y X，YZ，則有FD XZ，稱FD XZ為傳遞函數(shù)依賴。 3.2 關(guān)系規(guī)范化定義范式是對(duì)關(guān)系的不同數(shù)據(jù)依賴程度的要求通過模式分解將一個(gè)低級(jí)范式轉(zhuǎn)換為若干個(gè)高級(jí)范式的過程稱作規(guī)范化（概念的純粹化）3.2.1 1NF：定義：關(guān)

3、系中每一分量不可再分。即不能以集合、序列等作為屬性值 2NF定義：若RÎ1NF，且每個(gè)非主屬性完全依賴于碼，則稱RÎ2NF消除非主屬性對(duì)碼的部分依賴改造非主屬性有兩種，一種完全依賴于碼，一種部分依賴于碼。將S分解為：SC(S# , C# , G)S_SD(S# , SN , SD , DEAN)快速熱身關(guān)系模式R（A，B，C，D），碼為AB，給出它的一個(gè)函數(shù)依賴集，使得R屬于1NF而不屬于2NF 3NF 定義 關(guān)系模式R< U , F >中，若不存在這樣的碼X，屬性組Y及非主屬性Z(Z Y)，使得下式成立，X®Y , Y®Z , Y®X則稱RÎ3NF 消除非主屬性對(duì)碼的傳遞依賴如S_SD Ï3NF，因?yàn)橛蠸#®SD，SD®DEAN 改造將S分解為STUDENT(S# , SN , SD)DEPT(SD , DEAN) 快速熱身關(guān)系模式R（A，B，C，D），碼為AB，給出它的一個(gè)函數(shù)依賴集，使得R屬于2NF而不屬于3NF BCNF 定義 關(guān)系模式R< U , F >中，對(duì)于屬性組X，Y，若X®Y且Y X時(shí)X必含有碼，則R< U , F > ÎBCNF如