候補キーがA,Bだとして
{A,B}→{C,D}
って奴は部分関数従属してないよね?
第3正規形でいいのけ