Jointure en algèbre relationnelle

• Soient R₁(X1, X2, ..., Xm, Y1, ..., Yn) et R₂(Y1, ..., Yn, Z1, Z2, ..., Zp) deux relations avec Y1, ..., Yn des attributs communs aux deux relations
• La jointure R1⋈R2 est une relation avec (X1, X2, ..., Xm, Y1, ..., Yn, Z1, Z2, ..., Zp) comme en-tête et dont le corps contient tous les n-uplets issues de l'union des n-uplets de R1 et de R2 ayant la même valeur sur leur projection sur Y1, ..., Yn
• La jointure correspond à une restriction du produit cartésien :
  R1⋈R2 = σ_{Y1R1=Y1R2∧Y2R1=Y2R2∧...∧YnR1=YnR2}(R1×R2)
• Exemple :
  R
  X	Y
  x1	y1
  x1	y2
  x2	y3

  S
  Z	Y
  z1	y1
  z2	y4
  z2	y1

  R ⋈ S
  X	YR	Z	YS
  x1	y1	z1	y1
  x1	y1	z2	y1