如果X→Y，但Y不包含于X，则称X→Y是（）的函数依赖。 如果X→Y，则X称作（）。 如果K是关系模式R（U，F）的任一候选关键字，X是任一属性或属性集，如果X∈K，则X称为（）；否则称为（）。