Relationenalgebra und SQL: Join

Ein Join (zu deutsch Verbund) bezeichnet die beiden hintereinander ausgeführten Operationen „Kreuzprodukt“ und „Selektion“. Die Selektionsbedingung ist dabei üblicherweise ein Vergleich von Attributen A θ B, wobei θ ein passender Vergleichsoperator ist. Man bezeichnet den allgemeinen Verbund daher auch als θ-Verbund („Theta-Verbund“). Spezialfälle des allgemeinen Verbundes sind der Equi-Join, der Natural-Join und der Semi-Join.

Definition

Für zwei Relationen $R(A_1,...,A_n,B_1,...,B_n)$ und $S(B_1,...,B_n,C_1,...,C_n)$ ist das Ergebnis des allgemeinen Verbundes mit einer Formel Ausdruck als Selektionsbedingung

$R▹◃{}_{\mathrm{A}\mathrm{u}\mathrm{s}\mathrm{d}\mathrm{r}\mathrm{u}\mathrm{c}\mathrm{k}}S:=\{r\cup s|r\in R\wedge s\in S\wedge \mathrm{A}\mathrm{u}\mathrm{s}\mathrm{d}\mathrm{r}\mathrm{u}\mathrm{c}\mathrm{k}\}$

Die Ableitung ist:

$R▹◃{}_{\mathrm{A}\mathrm{u}\mathrm{s}\mathrm{d}\mathrm{r}\mathrm{u}\mathrm{c}\mathrm{k}}S:={\sigma }_{\mathrm{A}\mathrm{u}\mathrm{s}\mathrm{d}\mathrm{r}\mathrm{u}\mathrm{c}\mathrm{k}}(R\times S)$

Beispiel: Non-Equi-Join

R: A B C D 1 2 3 4 4 5 6 7 7 8 9 0

S: E F G 1 2 3 7 8 9

R x S: A B C D E F G 1 2 3 4 1 2 3 4 5 6 7 1 2 3 7 8 9 0 1 2 3 1 2 3 4 7 8 9 4 5 6 7 7 8 9 7 8 9 0 7 8 9

JOIN(R, R.A <> S.E, S): A B C D E F G 1 2 3 4 7 8 9 4 5 6 7 1 2 3 4 5 6 7 7 8 9 7 8 9 0 1 2 3

SQL

Vorlage:Navigation zurückhochvor buch