正規化の過程で、ある属性が主キーの一部にのみ関数従属している状態を排除するのは第何正規化か。

時間的なデータの直交性を保証し冗長性を排除する。