第4正規形になるね。
正規形を崩すかBCNFにしてFKで整合性を取るかじゃないかな