Gives a lossless join, and is dependency preserving.

Gives a lossless join, but is not dependency preserving

Does not give a loss less join, but is depency preserving

Does not give a lossless join and is not depency preserving

In BCNF

in 3NF, but not in BCNF

In 2NF, but not in 3NF

Not in 2NF

A —> BC and B ---->C

A ----> BC and AB —> C

A —> BC and A —> B

A —> B and B —> C

2NF

3NF

4 NF

BCNF

y⊆x

y⊂x

x⊂y

x⊂y and y⊂x