Es gilt X →→ Y für r ∈ Rel(V) genau dann, wenn ∀s,t ∈ r: (s[X] = t[X] impliziert ∃u ∈ r: u[X] = s[X] ∧ u[Y] = s[Y] ∧ u[V - XY] = t[V - XY]).
Die vorangegangene Definition ist äquivalent mit: X →→ Y genau dann, wenn πXY (r)
πV-Y(r) = r.Eine Folgerung aus X →→ Y ist, daß Y und V - XY unabhängig sind.
Bei der mehrwertigen Abhängigkeit handelt es sich um eine Verallgemeinerung der funktionalen Abhängigkeit (siehe funktionale Abhängigkeit), denn es gilt: X → Y impliziert X →→ Y.
Ähnlich wie für funktionale Äbhängigkeiten gibt es auch für MVDs Schlußregeln, die es gestatten, weitere MVDs herzuleiten:
X →→ Y impliziert X →→ V - Y (Komplement),
Y ⊆ X impliziert X →→ Y (Reflexivität),
Z ⊆ W und X →→ Y implizieren XW →→ YZ (Erweiterung),
X →→ Y und Y →→ Z implizieren X →→ Z - Y,
X → Y impliziert X →→ Y,
X →→ Y und S → T und S ∩ Y = ∅ implizieren X → Y ∩ T.