X→Y，且 则称X→Y是非平凡的函数依赖。