*Relationships Among Normal Forms*

As we have pointed out, 4NF implies BCNF, which in turn implies 3NF. Therefore, the sets of relation schemas (including dependencies) satisfying the three normal forms are related as in the following figure. That is, if a relation with certain dependencies is in 4NF, it is also in