平凡函数依赖 定义: 在Y函数依赖于X函数的基础上,即 X → Y X\to Y X→Y时,如果 Y ⊂ X Y \subset X Y⊂X,那么称 X → Y X\to Y X→Y是平凡的函数依赖, 如果有 Y ⊂ X Y \subset X Y⊂X,那么 X → Y X\to Y X→Y一定成立 原因:因为 Y ⊂ X Y \subset X Y⊂X,那么Y必然是X中的一部分,因为X确定了,那么自然其子集也确定了,整体可以决定部分