部分関数従属
非キー属性
が
候補キー
の一部に
関数従属
していることを指す．
属性(B, C)のいずれかが定まれば属性yの値が定まる
(B, C) -> y :
部分関数従属