假设我们有一个关系 R(A, B, C) 与 FD A -> B。假设,对于 R 中的两个元组 t 和 u,如果 t[C] 和 u[C] 都满足布尔条件 -假设小于常数 C - 则 t[B] = u[B]。这是否构成函数依赖?
从更实际的意义上来说,如何规范化这种关系并消除 R(A, B, C) 中的明显冗余并允许无损连接?
假设我们有一个关系 R(A, B, C) 与 FD A -> B。假设,对于 R 中的两个元组 t 和 u,如果 t[C] 和 u[C] 都满足布尔条件 -假设小于常数 C - 则 t[B] = u[B]。这是否构成函数依赖?
从更实际的意义上来说,如何规范化这种关系并消除 R(A, B, C) 中的明显冗余并允许无损连接?