五
表(a)
表(b)
章
关
系 数
A
B
C
D
A
B
C
D
据
• A →AB1在表(a)关B系1 上成立,C但1 A →B在D表1(b)关系上不A成1 立。 B1
C1
D1
库
的
A1
B1
C2
D2
A1
B2
C2
D2
规
A2
B2
C3
D3
A2
B2
C3
D3
范
化
A3
B2
C4
D4
D4
A3
B1
C4
理
论
14
函数依赖(续)
第
五
章
• 定义5.2
规
F
范
化
理
论
P
传递
17
函数依赖(续)
第
例: 在关系SC(Sno, Cno, Grade)中,
五
由于: Sno Grade, Cno Grade,
章
因此: (Sno, Cno) Grade
但:
F
关
(Sno, Cno) Sno, (Sno, Cno) Cno
系
数
例: 在关系Std(Sno, Sdept, Mname)中, 有:
五
章 • 练习:已知R(ABCD),F={B→C,D →A,BD →ABCD},求R的候选码。
B ABCD, D ABCD, BD ABCD
关
所以,R的候选码为BD
系 数 据 库
• 例: 全码
F
考虑关系模式R(P,W,A)
– 其中: P—演奏者, W—作品, A—听众