部分函数依赖(partial functional dependency)

设X,Y是关系R的两个属性集合，存在X→Y，若X’是X的真子集，存在X’→Y，则称Y部分函数依赖于X。

例如 学生表（学号，课程号，年级，学生宿舍）关系中，部分函数依赖：（学号，课程号）→ 学生宿舍 因为 学号 → 学生宿舍 成立