第3正規形
第2正規形
かつ
推移的関数従属
性がない