部分函数依赖

部分函数依赖（partial functional dependency）是一个数学用语。在关系模式R(U)中，如果X→Y，并且存在X的一个真子集X0，使得X0→Y，则称Y对X部分函数依赖。