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.”  |