国开《数据库基础与应用》第三章 3-1-3：平凡和非平凡函数依赖

3-1-3：平凡和非平凡函数依赖

定义：设一个关系为R(U)，X和Y为属性集U上的子集，若X→Y且X不包含Y，称X→Y为非平凡函数依赖，否则若X⊇Y称X→Y为平凡函数依赖。

若X⊇Y，则平凡函数依赖X→Y必然存在，或者说整体总是决定局部的。平凡函数依赖称为函数依赖的自反性。

例如：职工号总能函数决定它本身，记作“职工号→职工号”。

又如：“（职工号，性别）→职工号”和“（职工号，性别）→性别”为平凡函数依赖。

通常，主要讨论的是非平凡函数依赖，即X→Y且X⊉Y。职工号→性别就是非平凡函数依赖。“（职工号，姓名）→性别”也是非平凡函数依赖。