Formalisme : R = DIVISION (R1, R2)                 Et en langage SQL

Exemple :

            "L'athlète Dupont participe à toutes les épreuves"

• Cet opérateur porte sur 2 relations qui doivent avoir au moins un attribut défini dans le même domaine.
• Tous les attributs du diviseur (ici EPREUVE) doivent être des attributs du dividende (ici PARTICIPER).
• La relation dividende doit avoir au moins une colonne de plus que la relation diviseur.
• La relation résultat, le quotient, possède les attributs non communs aux deux relations initiales et est formée de tous les n-uplets qui, concaténés à chacun des n-uplets du diviseur (ici EPREUVE) donne toujours un n-uplet du dividende (ici PARTICIPER).