假定在一个关系中存在X→Y,并且存在X的一个真子集也能够函数决定Y,则称X→Y为完全函数依赖。