假设我们有一个关系 R(A, B, C) 与 FD A -> B。假设，对于 R 中的两个元组 t 和 u，如果 t[C] 和 u[C] 都满足布尔条件 -假设小于常数 C - 则 t[B] = u[B]。这是否构成函数依赖？
从更实际的意义上来说，如何规范化这种关系并消除 R(A, B, C) 中的明显冗余并允许无损连接？
AskOverflow.Dev
假设我们有一个关系 R(A, B, C) 与 FD A -> B。假设，对于 R 中的两个元组 t 和 u，如果 t[C] 和 u[C] 都满足布尔条件 -假设小于常数 C - 则 t[B] = u[B]。这是否构成函数依赖？
从更实际的意义上来说，如何规范化这种关系并消除 R(A, B, C) 中的明显冗余并允许无损连接？
设 R 为 Person(id,age,drivers_licence_number)
设条件为
age<5显然 drivers_license_number 在功能上不依赖于年龄，因为年龄相同的两个人具有不同的 drivers_license_number。但年龄 <5 岁的人没有 drivers_license_number。
由于该关系不是函数依赖关系，因此拆分该关系不会成为规范化。