じゃあ最後の行はなしで
部分関数従属はあくまで候補キーの一部分からだけで候補キー全て使う奴は部分関数従属してないという解釈でいいよね？