函数依赖 设R是一关系模式,且有属性集 ∈R,βcR 函数依赖 →>β 在R上成立当且仅当对任意合法关系(R)2若r的任 意两条元组t1和t2在属性集α上的值相同,则他们在 属性集β上的值也相同.即, t1[cx]=2[ax]→t1[B]=12[β]函数依赖 • 设R 是一关系模式, 且有属性集 R , R • 函数依赖 → 在R上成立 当且仅当对任意合法关系r(R), 若r 的任 意两条元组t1 和t2 在属性集上的值相同, 则他们在 属性集 上的值也相同. 即, t1 [] = t2 [] t1 [ ] = t2 [ ]