第2正規形
第1正規形
かつ
部分関数従属
性がない