Multivalued Dependencies0 o7 C; `) q4 \$ `（欢迎访问avcar：https://avcar.vip）
Fourth Normal Form7 l4 _" ?2 [5 X2 ?& S（欢迎访问avcar：https://avcar.vip）
Reasoning About FD’s + MVD’s 7 b( C! b% l4 b( N) l1 7 V6 { t& ^: I9 e! i GDefinition of MVD / F. H/ l7 N2 J; R% j: b( |; a: aA multivalued dependency (MVD) on 7 x# V. C5 y1 Z M2 ]2 h Q0 x5 h. Y Q: qR, X ->->Y , says that if two tuples of R 7 E+ Z, H) A" R' Tagree on all the attributes of X, then # U8 I- m; X* K" t0 utheir components in Y may be 3 I/ i8 ~6 c+ x+ Iswapped, and the result will be two 0 F6 ^# \# j0 `% W- n: [（欢迎访问avcar：https://avcar.vip）
tuples that are also in the relation. X! m6 d, h1 ?; Z# X# [9 l, g; W8 J' g（欢迎访问avcar：https://avcar.vip）
i.e., for each value of X, the values of Y 0 i8 ^! p3 ~* lare independent of the values of R-X-Y. 2# E) }' M+ o4 ^- v3 n* D4 U9 Y（欢迎访问avcar：https://avcar.vip）
3 " Q* g9 b6 r; r$ g0 j# qExample: MVD* e& L. J7 U+ {7 l（欢迎访问avcar：https://avcar.vip）
Drinkers(name, addr, phones, beersLiked) ' N0 S5 q; M- A$ jA drinker’s phones are independent of . ~. O% W- M7 e' l) l# @, v（欢迎访问avcar：https://avcar.vip）
the beers they like. ) R+ b) i/ @9 _+ o/ N& @: C* X( W# Kname->->phones and name ->- 2 X/ @$ l; Q2 ~- F5 i5 Y: G. j>beersLiked." h- n8 F! a/ d（欢迎访问avcar：https://avcar.vip）
Thus, each of a drinker’s phones appears * e) L, h. H) N4 g3 D: ]with each of the beers they like in all 4 o! o I$ B6 b/ Bcombinations. * ^& h* t4 c7 `; _1 X0 N/ tThis repetition is unlike FD redundancy.2 X1 k% R/ W# ?* |2 d（欢迎访问avcar：https://avcar.vip）
name->addr is the only FD. : F5 O4 v2 m+ d4 , j. A9 ?/ T# B0 L$ ]( V1 qTuples Implied by name->->phones * ?0 y) s! V# E9 x) `6 r- y9 EIf we have tuples: 4 R0 [" k: Q( pname addr phones beersLiked4 {+ j# P e# G( ~$ n（欢迎访问avcar：https://avcar.vip）
sue a p1 b1" l# p+ ?; f C4 W（欢迎访问avcar：https://avcar.vip）
sue a p2 b2! T# j$ Y6 b, y5 j+ h& m: K q（欢迎访问avcar：https://avcar.vip）
sue a p2 b1' L5 B( j7 U! |7 `. K) o（欢迎访问avcar：https://avcar.vip）
sue a p1 b2: u$ a1 o3 [9 G（欢迎访问avcar：https://avcar.vip）
Then these tuples must also be in the relation.7 e& z; K; w( B6 N. g% v（欢迎访问avcar：https://avcar.vip）
5* [) g8 ~5 ]' s# g2 T（欢迎访问avcar：https://avcar.vip）
Picture of MVD X ->->Y X Y others* q: b+ T' Y, x6 \* o（欢迎访问avcar：https://avcar.vip）
equal 7 C: o n8 Q# z ^. w, Oexchange
[复制链接]
发表于 2020-3-26 13:46:25
