Multivalued Dependencies ; J7 S* V. y, ]; }0 n. E7 KFourth Normal Form$ B U- ]/ M' ?, A; c- ~（欢迎访问avcar：https://avcar.vip）
Reasoning About FD’s + MVD’s- R6 r* v+ G" Y4 b（欢迎访问avcar：https://avcar.vip）
1 / [1 c. s& o. A% {& ]- Y6 tDefinition of MVD , P+ L6 R6 x/ T; m# W, g+ FA multivalued dependency (MVD) on * s) d: V9 V P* U! I- j（欢迎访问avcar：https://avcar.vip）
R, X ->->Y , says that if two tuples of R 5 M+ S Y/ g8 w. q5 c dagree on all the attributes of X, then ) E; p& q! k& h/ ^" K（欢迎访问avcar：https://avcar.vip）
their components in Y may be ) y. y! P5 `/ J3 O! u6 d（欢迎访问avcar：https://avcar.vip）
swapped, and the result will be two 7 C" F l5 \7 p* b' t" O) ~tuples that are also in the relation. / |; }" N: v5 pi.e., for each value of X, the values of Y4 l' |- t5 q$ S) Z3 V（欢迎访问avcar：https://avcar.vip）
are independent of the values of R-X-Y. 2 . o- Z. ~5 u8 b( X, g3 * x: w2 X7 A* e: G$ C/ OExample: MVD & }5 n5 N- ^7 xDrinkers(name, addr, phones, beersLiked) : G8 w/ P; I$ l3 `# k( S5 tA drinker’s phones are independent of & u" ^' e6 x1 m+ fthe beers they like.7 r' X8 ~( k _! [; O（欢迎访问avcar：https://avcar.vip）
name->->phones and name ->-5 q y( D) J8 z* h, k1 \（欢迎访问avcar：https://avcar.vip）
>beersLiked. % H+ n: E) F! e. \! wThus, each of a drinker’s phones appears 4 v) n/ S" @4 y n% b（欢迎访问avcar：https://avcar.vip）
with each of the beers they like in all % {# a+ G- z" f! ]* l0 N（欢迎访问avcar：https://avcar.vip）
combinations. 3 ]: T$ Y# W; u8 z# bThis repetition is unlike FD redundancy.) O2 c# E* L$ y+ D（欢迎访问avcar：https://avcar.vip）
name->addr is the only FD. 4 m+ L: Q. I4 o9 _40 \% Z6 @" A+ {8 u9 _* b（欢迎访问avcar：https://avcar.vip）
Tuples Implied by name->->phones 7 H5 g! t/ N- ~0 F' c) T0 {If we have tuples: 4 @; k( W: ?, lname addr phones beersLiked 0 n. |. F, v7 b6 ]" nsue a p1 b1" n7 N% H* F2 @% P' ? y( e3 I2 l（欢迎访问avcar：https://avcar.vip）
sue a p2 b2 R$ p8 n3 x$ G7 G$ x# V2 u（欢迎访问avcar：https://avcar.vip）
sue a p2 b19 Z& P( c& R$ {4 Z. ?1 |+ A（欢迎访问avcar：https://avcar.vip）
sue a p1 b2 . p( e! k- H1 N! l! d# h z1 G- oThen these tuples must also be in the relation.! [) c2 v& ~6 S5 Q. g（欢迎访问avcar：https://avcar.vip）
5 9 w) Q9 k g8 n4 x! hPicture of MVD X ->->Y X Y others , }8 z, ^: g) Qequal ) J% W7 Z3 `1 z; Kexchange
[复制链接]
发表于 2020-3-26 13:46:25
