正規化において、「A -> B かつ B -> C なので A -> C」という関係が成立しているとき、Bを排除するのはどの段階か。

この関係を推移的関数従属と呼び、これを解消するのが第3正規化である。