Multivalued Dependencies9 L: q! M' ~! ?（欢迎访问avcar：https://avcar.vip）
Fourth Normal Form% y3 X; p: p) u. L a0 D（欢迎访问avcar：https://avcar.vip）
Reasoning About FD’s + MVD’s + E/ V$ F- S( n2 |3 _19 b& Z" ^8 e5 ]) J+ E H, F J（欢迎访问avcar：https://avcar.vip）
Definition of MVD7 K5 O9 T/ {; W) f, e& {& k（欢迎访问avcar：https://avcar.vip）
A multivalued dependency (MVD) on ' B. @$ d! q" `( JR, X ->->Y , says that if two tuples of R ; f0 P% r6 }+ _9 @" ?9 R4 t* r- ]! Bagree on all the attributes of X, then & q, m, \( X6 ~, J k（欢迎访问avcar：https://avcar.vip）
their components in Y may be * z+ f8 N' w {/ p7 d8 J! w（欢迎访问avcar：https://avcar.vip）
swapped, and the result will be two 7 s8 J7 g& L7 |+ ]tuples that are also in the relation. , {4 L" \: q/ Vi.e., for each value of X, the values of Y ) c9 U4 Y4 Y1 D! A1 Bare independent of the values of R-X-Y. 2 + ]# n& l8 f" ]! ^9 u) i38 ?( [1 j' U. j( b( ~（欢迎访问avcar：https://avcar.vip）
Example: MVD / R/ e# F" V, fDrinkers(name, addr, phones, beersLiked)) l2 N7 s# \% U8 J（欢迎访问avcar：https://avcar.vip）
A drinker’s phones are independent of 5 j* W6 T: F% q8 V Q* A2 `（欢迎访问avcar：https://avcar.vip）
the beers they like. ! k8 i ^8 u+ u; S/ m$ J( Bname->->phones and name ->- 4 a2 ]8 F6 w, D- H>beersLiked.% D9 t4 \ M# I2 c! o3 q* k# J（欢迎访问avcar：https://avcar.vip）
Thus, each of a drinker’s phones appears ) ^& h' N) N U, y1 Awith each of the beers they like in all 9 H5 S8 \8 x. }5 i6 ^* w3 p+ t3 F" {combinations. v; Q/ F4 c( U$ h& ^（欢迎访问avcar：https://avcar.vip）
This repetition is unlike FD redundancy. ; X2 J8 O; I" K6 e, nname->addr is the only FD. : T- Q/ z! M/ H4 Q, j4; @3 v) f2 L8 w3 v+ R（欢迎访问avcar：https://avcar.vip）
Tuples Implied by name->->phones/ k4 b* A. L! h" O7 m" B（欢迎访问avcar：https://avcar.vip）
If we have tuples:9 s* f, k* n* v1 ]9 y' P（欢迎访问avcar：https://avcar.vip）
name addr phones beersLiked " E9 B9 ^( C- S& Tsue a p1 b1 , x2 ~) J8 `" X0 D/ csue a p2 b2: i) A; C+ I0 E9 F9 _! h% @) [9 A7 b（欢迎访问avcar：https://avcar.vip）
sue a p2 b1; v: ^" S" J* X0 H8 R" w# f6 q3 h（欢迎访问avcar：https://avcar.vip）
sue a p1 b2 ; y! a7 {7 A2 b8 pThen these tuples must also be in the relation. / w* n* }) K' @) y0 }* E5 / L' {% G- b6 f) s! @( aPicture of MVD X ->->Y X Y others 4 ]7 B0 {" R' U7 [8 dequal# s. p5 |0 W. z5 P（欢迎访问avcar：https://avcar.vip）
exchange
[复制链接]
发表于 2020-3-26 13:46:25
