数据库中为什么叫“非平凡”的函数依赖Nontrivial Function Dependency？ nontrivial的本意探讨

• 定义：设一个关系为R(U),X和Y为属性集U上的子集,若X→Y且X不包含Y,则称X→Y为非平凡函数依赖,否则若XY则必有X→Y,称此X→Y为平凡函数依赖.
  例如：在一个职工关系中,职工号总能函数决定它本身,记作“职工号→职工号”,对于任一个给定的职工号,都有它本身的职工号值唯一对应,此为平凡函数依赖.又如：职工号和性别构成的属性子集总是能够函数决定其中的职工号或性别属性,可分别记作为“（职工号,性别）→职工号”和“（职工号,性别）→性别”,因为对于任何给定的一个元组中的职工号和性别的组合值,都唯一对应一个职工号值或性别值,不可能出现其他的职工号值或性别值,此种也为平凡函数依赖.

• 通常,主要讨论的是非平凡函数依赖,即X→Y且XY.如在职工关系中,职工号函数决定其他每个属性都是非平凡函数依赖,另外“（职工号,姓名）→性别”也是非平凡函数依赖,虽然在这里由决定因素中所含的职工号单属性就能够函数决定性别,而带有的姓名属性有些多余.

• 而既然平平凡的函数依赖才是一般使用的函数依赖，为什么它的名字叫感觉非一般的非平凡的函数依赖呢？
  trivial的实际含义是摊开看就明白不证自明就那么一堆基本不用分析自成一体的东西、或者一眼就能看出来没啥意思的东西。
  所以Nontrivial的意思至少在这里翻译成非显而易见的更加合适。