部分関数従属性 推移的関数従属性