假定在一个关系中存在X→Y并且X?Y，则称X→Y为非平凡函数依赖。