Represent a dependency between attributes in a relation, such that for each value ofHowever the set of values forAthere is a set of values forBand set of values forC.
B and C are independent of each other.
This dependency denotes as A↠B.
See the CustomerContacts table.
CustomerCode determines multiple Telephone (CustomerCode ↠ Telephone) and CustomerCode determines multiple Address (CustomerCode ↠ Telephone).
|
|
A relation that is in Boyce-Codd normal form and does not contain nontrivial multi-valued dependencies.
This talks about one type of multi-valued dependency that is nontrivial.
Trivial relationship means if B is subset of A or A⋃B=R.
Otherwise, it is nontrivial.
As you see, CustomerContact contains nontrivial dependencies, hence need to decompose the table as below.
|
A couple comes up to a wishing well. The guy leans over, makes a wish, and throws in a penny. His wife decides to make a wish, too, but she leans over too far, falls into the well, and drowns. The guy says, “Wow, it really works.” |