數(shù)據(jù)庫(kù)基礎(chǔ)與應(yīng)用課件

范式

1范式的概念2范式的分類范式(NormalForm)數(shù)據(jù)依賴符合一定要求的關(guān)系模式的集合：R(U,F)1NF2NF3NFBCNF...BCNF?3NF?2NF?1NF1NF：滿足關(guān)系模型要求的關(guān)系模式引例1-約束和函數(shù)依賴關(guān)系模式SLC(Sno,Cno,Sdept,Sloc,Grade)，Sloc表示學(xué)生的住處Sdept→SlocSno→Sdept

(Sno,Cno)GradeSLC滿足以下約束：一個(gè)學(xué)生只屬于一個(gè)系，一個(gè)系有多個(gè)學(xué)生同一個(gè)系的學(xué)生住在同一個(gè)地方每個(gè)學(xué)生所學(xué)的每門課程都有一個(gè)成績(jī)引例1-碼、部分依賴和異常碼：(Sno,Cno)SnoSdeptSlocCnoGrade2000012計(jì)算機(jī)梅園1156802000014計(jì)算機(jī)梅園1156882000113管理榴園1156892000256管理榴園115693

2000012

計(jì)算機(jī)梅園

1024

80

2000014

計(jì)算機(jī)梅園

1024

88各種異常：數(shù)據(jù)冗余插入異常修改異常刪除異常(Sno,Cno)Sdept

(Sno,Cno)Sloc

SnoSdeptGradeSlocCno2NF定義：不存在非主屬性部分函數(shù)依賴于碼的函數(shù)依賴的關(guān)系模式SLC(Sno,Cno,Sdept,Sloc,Grade)

SC(Sno,Cno,Grade)

SL(Sno,Sdept,Sloc)SnoCnameGrade2000012英語802000014英語882000113英語892000256英語93

2000012數(shù)據(jù)庫(kù)原理

80

2000014數(shù)據(jù)庫(kù)原理

88模式分解3NF定義：不存在非主屬性傳遞函數(shù)依賴于碼的函數(shù)依賴的關(guān)系模式SL(Sno,Sdept,Sloc)SnoSdeptSlocSD(Sno,Sdept)DL(Sdept,Sloc)SnoSdeptSdeptSlocSnoSdeptSloc2000012計(jì)算機(jī)梅園2000014計(jì)算機(jī)梅園2000113管理榴園2000256管理榴園模式分解小結(jié)SD(Sno,Sdept)

Sno→Sdept

DL(Sdept,Sloc)

Sdept→SlocSLC(Sno,Cno,Sdept,Sloc,Grade)Sno→SdeptSdept→Sloc

(Sno,Cno)GradeSC(Sno,Cno,Grade)

(Sno,Cno)GradeSnoSdeptSlocCnameGrade2000012計(jì)算機(jī)梅園英語802000014計(jì)算機(jī)梅園英語882000113管理榴園英語892000256管理榴園英語93

2000012

計(jì)算機(jī)梅園數(shù)據(jù)庫(kù)原理

80

2000014

計(jì)算機(jī)梅園數(shù)據(jù)庫(kù)原理

88SnoSdept2000012計(jì)算機(jī)2000014計(jì)算機(jī)2000113管理2000256管理SdeptSloc計(jì)算機(jī)梅園管理榴園SnoCnameGrade2000012英語802000014英語882000113英語892000256英語93

2000012數(shù)據(jù)庫(kù)原理

80

2000014數(shù)據(jù)庫(kù)原理

88引例2關(guān)系模式STC(S,T,C)，S表示學(xué)生，T表示教師，C表示課程STC滿足以下的約束：每名教師只教授一門課，每門課有多個(gè)教師教授；學(xué)生選修課程時(shí)，還要選定教師。STC2000012李勇英語2000014李勇英語2000113劉明英語2000256劉明英語

2000012張小平數(shù)據(jù)庫(kù)原理

2000014張小平數(shù)據(jù)庫(kù)原理T→C(S,C)→T(S,C)是碼引例2：多個(gè)碼、異常T→C(S,C)→T推導(dǎo)出(S,T)→CSCT2個(gè)碼：(S,C)、(S,T)

都是主屬性：S、T、CSTC2000012李勇英語2000014李勇英語2000113劉明英語2000256劉明英語

2000012張小平數(shù)據(jù)庫(kù)原理

2000014張小平數(shù)據(jù)庫(kù)原理BCNF定義：對(duì)于任何一個(gè)函數(shù)依賴X→

Y，X是超碼的關(guān)系模式SCTSTC(S,T,C)SC(S,T)，F(xiàn)={(S,T)→(S,T)}TC(T,C),F={T→C}STC2000012李勇英語2000014李勇英語2000113劉明英語2000256劉明英語

2000012張小平數(shù)據(jù)庫(kù)原理

2000014張小平數(shù)據(jù)庫(kù)原理TC李勇英語劉明英語張小平數(shù)據(jù)庫(kù)原理模式分解ST2000012李勇2000014李勇2000113劉明