Professional Documents
Culture Documents
LEC 11 Multivalued Dependency and 4NF
LEC 11 Multivalued Dependency and 4NF
Infinity Batch
Infinity Batch
Infinity Batch
Infinity Batch
Infinity Batch
BCNF
Infinity Batch
Multivalued dependency
• X→→Y is a multivalued dependency if there exist more then one
tuple with same value of X like t1(X) = t2(X) then there should exist
following three condition :
1. t1(X) =t2(X)=t3(X)=t4(X)
2. t1(Y)=t3(Y) and t2(Y) = t4(Y)
3. t2(Z) = t3(Z) and t1(Z) = t4(Z)
Infinity Batch
CNAME→→AUTHOR is MVD.
Infinity Batch
CNAME→→AUTHOR is MVD.
Infinity Batch
Transitivity-
• If A →→ B and B →→ C, then A →→ C always holds.
Decomposition-
• If A →→ BC, then A →→ B and A →→ C always holds.
Additive/union-
• If A →→ B and A →→ C, then A →→ BC always holds.
Infinity Batch
Augmentation-
• If A →→ B, then AC →→ BC always holds.
Composition-
• If A →→ B and C →→ D, then AC →→ BD always holds.
Pseudo Transitivity –
If A→→B and BC→→D , then AC→→D holds.
Infinity Batch
Consider the following implications relating to functional and
multivalued dependencies given below, which may or may not be
correct.
i. If A ↠ B and A ↠ C then A → BC