Verbundtreue (auch Verlustlosigkeit genannt) bedeutet bei der Zerlegung einer Relation, dass die Originalrelation aus der zerlegten Relation mittels natürlichen Verbunds (engl. natural join) wiederhergestellt werden kann.
Die Relation wird in zwei Relationen und zerlegt. Dabei gilt und , vereinfacht:
R
A
B
C
1
1
2
1
2
3
2
1
2
R1
A
B
1
1
1
2
2
1
R2
B
C
1
2
2
3
A
B
C
1
1
2
1
2
3
2
1
2
Nicht verbundtreu
R
A
B
C
1
1
2
1
2
3
2
1
3
R1
A
B
1
1
1
2
2
1
R2
B
C
1
2
2
3
1
3
A
B
C
1
1
2
1
1
3
1
2
3
2
1
2
2
1
3
Ursache für die fehlende Verbundtreue ist, dass im zweiten Beispiel weder eine Funktionale Abhängigkeit zwischen B → A noch zwischen B → C besteht. Im ersten Beispiel gilt jedoch B → C.