Définition alternative

• Soit R(X1, X2, ..., Xn, Y1, ..., Ym) une relation, soient S(X1, X2, ..., Xn) et T(Y1, ..., Ym) deux relations dont l'union des entêtes et l'entête de R
• Le résultat de la division relationnelle S DIVIDE BY T PER R est une relation U de même entête que S dont le corps se calcule ainsi :

  ∀ x ∈ S, x ∈ U ssi (σx(S) × T) ⊆ R

  avec σx(S) la restriction de S à x (i.e. le singleton x) et σx(S) × T le produit cartésien de σx(S) et de T