Inference Rules for FDs
A , A ,
A
1
2
n
B , B ,
B
1
2
m
A , A ,
A
1
2
n
1
Is equivalent to
B
A , A ,
A
1
2
n
2
B
A , A ,
A
1
2
n
m
B
Splitting rule
and
Combing rule
Bm
...
B1
Am
...
A1