Division

• Soient A(X1, X2, ..., Xm) et B(Y1, Y2, ..., Yn) deux relations
• Soit C(X1, X2, ..., Xm, Y1, Y2, ..., Yn) la relation dont l'entête est l'union des entêtes de A et B
• A DIVIDEBY B PER C est une relation de même entête que A et dont le corps consiste en les n-uplets x apparaissant dans A tels qu'un n-uplet (x, y) existe dans C pour tout n-uplets y apparaissant dans B.
• Cette opération correspond au quantificateur universel ∀
• A est appelé dividende, B diviseur et C médiateur