関係データベースの正規化において、非キー属性が主キーに対して推移的関数従属（主キー → 非キーA → 非キーB）している状態を解消する正規形はどれか。