数据库中平凡/非平凡函数依赖

• 平凡的函数依赖：

如果关系上的一个约束对所有关系实例都成立，且与其他约束无关，则称其为平凡的。例如：A1 A2 ... An->B1 B2 ... Bm，其中{B1,B2,...,Bm}⊆{A1,A2,...,An}，也就是说，平凡FD的右边是左边的子集。即整体可以决定部分。

A1 A2 ... An->B1 B2 ...Bm等价于A1 A2 ... An->C1 C2 ... Ck  这里的C是集合B中而不是集合A中的属性。这种规则称为平凡依赖规则。

• 非平凡的函数依赖：

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