Triviale und Nicht-triviale FDs

Bei funktionalen Abhängigkeiten unterscheidet man nach der Zusammensetzung der linken und rechten Seite:

Triviale FD: Die Attribute auf der rechten Seite sind eine Teilmenge der Attribute auf der linken Seite (z.B. ${B l a n d, O r t, S t r a ß e} \to {B l a n d}$ ). Diese gelten immer.
Nicht-triviale FD: Mindestens ein Attribut auf der rechten Seite kommt links nicht vor (z.B. ${B l a n d, O r t, S t r a ß e} \to {B l a n d, P L Z}$ ).
Völlig nicht-triviale FD: Die Attribute auf der linken und rechten Seite sind komplett disjunkt (z.B. ${B l a n d, O r t, S t r a ß e} \to {P L Z}$ ).