ボイスコッド正規形は分かるようになった。非キー属性からキー属性への関数従属があるか無いか。でも情報無損失分解はまだよーわからん。