A multi-valued dependency can be further defined as being
trivial or nontrivial. A MVD A > B in relation R is defined
as being trivial if
B is a subset of A
or
A U B = R
A MVD is defined as being nontrivial if neither of the above two
conditions is satisfied.