Division
Eine Division kann zwei Relationen teilen. Dabei muss der Divisor eine Teilmenge des Dividenden sein. Das Ergebnis dieser Operation enthält alle Attribute des Dividenden, die nicht im Divisor vorkommen. Damit ist die Division die inverse Operation zum Kreuzprodukt.
Alternativ kann die Division auch aus Projektion, Kreuzproduktund Mengenoperationen zusammengesetzt werden.
Sie entspricht außerdem einer Art For All Quantor.
