上传者: 42206399
|
上传时间: 2022-03-25 15:52:46
|
文件大小: 1.1MB
|
文件类型: -
每个函数依赖都是多值依赖证明
证明:关系R中:A1A2…..An ->B1B2…..Bm成立
t,u 是在A上一致的R的元组。
为了证明A1A2…..An ->->B1B2…..Bm成立,必须证明可能存在一个元组v,它和t,u在A 上一致,和t在B上一值,和u在所有其他属性上一致。
显然可以得到这样一个元组v.满足我们的要求,实际上,v就是u。
所以就可以得到结论:
如果:A1A2…..An ->B1B2…..Bm
则:A1A2…..An ->->B1B2…..Bm