范式简介
范式是符合某一種級(jí)別的關(guān)系模式的集合。關(guān)系數(shù)據(jù)庫(kù)中的關(guān)系必須滿足一定的要求。滿足不同程度要求的為不同范式。
定義6.7 ?設(shè)關(guān)系模式R<U,F>∈1NF,若R中不存在這樣的碼X、屬性組Y及非主屬性Z(Z ? Y), 使得X→Y,Y→Z成立,Y ? X不成立,則稱R<U,F> ∈ 3NF。即關(guān)系模式R滿足第一范式,并且每個(gè)非主屬性都不傳遞依賴于關(guān)系模式R的候選碼,那么R便稱為第三范式的模式。如果數(shù)據(jù)庫(kù)中每個(gè)關(guān)系模式都是3NF,則稱其為3NF的數(shù)據(jù)庫(kù)模式。
范式的種類:
第一范式(1NF)
第二范式(2NF)
第三范式(3NF)
BC范式(BCNF)
第四范式(4NF)
第五范式(5NF)
一個(gè)低一級(jí)范式的關(guān)系模式,通過模式分解(schema decomposition)可以轉(zhuǎn)換為若干個(gè)高一級(jí)范式的關(guān)系模式的集合,這種過程就叫規(guī)范化(normalization)。
定義6.5 ?如果關(guān)系模式R的每一個(gè)關(guān)系r的屬性值都是不可分的原子值,那么稱R為第一范式。
定義6.6 ?若關(guān)系模式R∈1NF,并且每一個(gè)非主屬性都完全函數(shù)依賴于任何一個(gè)候選碼,則R∈2NF
[例6.4] ?S-L-C(Sno,Sdept,Sloc,Cno,Grade), Sloc為學(xué)生的住處,并且每個(gè)系的學(xué)生住在同一個(gè)地方。S-L-C的碼為(Sno,Cno)。
函數(shù)依賴有
(Sno,Cno)→Grade
Sno→Sdept, (Sno,Cno)→Sdept
Sno→Sloc, (Sno,Cno)→Sloc
Sdept→Sloc
非主屬性Sdept、Sloc并不完全依賴于碼
關(guān)系模式S-L-C不屬于2NF定義6.7 ?設(shè)關(guān)系模式R<U,F>∈1NF,若R中不存在這樣的碼X、屬性組Y及非主屬性Z(Z ? Y), 使得X→Y,Y→Z成立,Y ? X不成立,則稱R<U,F> ∈ 3NF。即關(guān)系模式R滿足第一范式,并且每個(gè)非主屬性都不傳遞依賴于關(guān)系模式R的候選碼,那么R便稱為第三范式的模式。如果數(shù)據(jù)庫(kù)中每個(gè)關(guān)系模式都是3NF,則稱其為3NF的數(shù)據(jù)庫(kù)模式。
總結(jié)
- 上一篇: 什么是视图
- 下一篇: ER图( 实体联系图)