Inference Rules for FDs
(continued)
(continued)
A , A ,
A
1
2
n
Transitive Closure Rule
B , B ,
B
1
2
m
A , A ,
A
1
2
n
1
B , B
, B
2
m
1
C , C
, C
2
p
1
C , C
, C
2
p
If
and
then
Why ?