文件名称：重要定义-ubuntu 18.04 安装opencv3.4.5的教程(图解)
文件大小：4.99MB
文件格式：PDF
更新时间：2024-07-15 01:58:36
数据库系统概 王珊 课后习题
（2）多值依赖的另一个等价的形式化的定义是
在 R（U）的任一关系 r 中，如果存在元组 t、s 使得 t[X]=sIX]，那么就必然存在元组 w、v∈r（w、v 可以
与 s、t 相同），使得 w[x]=v[X]=t[X]，而 w[Y]=t[Y]，w[Z]=s[Z]，v[Y]=s[Y]，v[Z]=t[Z]（即交换 s、t 元组的 y 值
所得的两个新元组必在 r 中），则 Y 多值依赖于 X,记为 X→→Y 这里，X、Y 是 U 的子集，Z=U-X-Y。
（3）性质
①对称性。
②传递性。
③函数依赖可以看作是多值依赖的特殊情况。
④若 X→→Y，X→→Z,则 X→→YZ。
⑤若 X→→Y，X→→Z 则 X→→Y∩Z。
⑥菪 X→→Y,X→→Z，则 X→→Y-Z,X→→Z-Y。
（4）多值依赖和函数依赖的区别
①多值依赖的有效性与属性集的范围有关。若 X→→Y 在 U 上成立，则在 W（XY⊆W⊆U）上一定成立；
反之则不然，即 X→→Y 在 W（W⊂U）上成立，在 U 上并不一定成立。
②若函数依赖 X→Y 在 R（U）上成立，则对于任何 Y′⊂Y 均有 X→Y′，成立。而多值依赖 X→→Y 若在 R
（U）上成立，却不能断言对于任何 Y′⊂Y 有 X→→Y 成立。
8．4NF
（1）定义
关系模式 R