Verbundtreue

Eine Zerlegung eines Relationenschemas R in zwei Teil-Schemata R1 und R2 ist nach dem Satz von Delobel genau dann verbundtreu, wenn gilt:

• ${\displaystyle R1\cap R2\rightarrow R1}$ oder
• ${\displaystyle R1\cap R2\rightarrow R2}$

Gegeben sei eine Relation ${\displaystyle R(A,B,C;\{A,B\})}$ mit Schlüsselkandidat ${\displaystyle \{A,B\}}$.

Verbundtreu

Die Relation ${\displaystyle R}$ wird in zwei Relationen ${\displaystyle R1(A,B;\{A,B\})}$ und ${\displaystyle R2(B,C;\{B\})}$ zerlegt. Dabei gilt ${\displaystyle R1\cap R2=\{A,B\}\cap \{B,C\}={B}}$ und ${\displaystyle B\rightarrow BC}$, vereinfacht: ${\displaystyle B\rightarrow C}$

Weitere Informationen ...

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

${\displaystyle R1\triangleright \!\!\triangleleft \,R2}$ A B C 1 1 2 1 2 3 2 1 2

Schließen

Nicht verbundtreu

Weitere Informationen ...

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

${\displaystyle R1\triangleright \!\!\triangleleft \,R2}$ A B C 1 1 2 1 1 3 1 2 3 2 1 2 2 1 3

Schließen

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.

• Relationale Algebra
• Relation (Datenbank)
• Unit of Work