非平凡函数依赖 (Nontrivial FD)：如果 Y 不是 X 的子集（Y⊆X），则称 X → Y 是一个非平凡函数依赖 [12]。这类依赖在数据库设计中更具意义，因为它表示了数据值之间有价值的约束关系。