第3正規化で排除すべき「推移的関数従属」の定義はどれか。

主キー -> A -> B のように、主キー以外の項目を介して従属している状態を排除するのが第3正規化である。