Relationenalgebra und SQL: Division
Aus Wikibooks
Die Division kann man sich als Gegenoperation (oder Umkehroperation) zum Kartesischen Produkt vorstellen.
Seien R und S Relationen mit den Attributmengen β und γ.
Bei 
gilt dann:
[Bearbeiten] Definition
Da die Division eine abgeleitete Operation ist, definieren wir sie mit Hilfe der anderen Operationen der RA. Seien R, S Relationen und β die zu R sowie γ die zu S dazugehörigen Attributmengen. 
.
Die Division ist dann definiert durch:
[Bearbeiten] Beispiel
Gegeben ist eine Relation R, die Väter und Mütter, deren Kinder und das Alter dieser Kinder enthält. Zusätzlich dazu ist eine Relation S gegeben, die einige Kinder und deren Alter enthält: Maria (4) und Sabine (2). Dividiert man R durch S, so erhält man als Ergebnis eine Relation, die nur noch diejenigen Ehepaare enthält, die sowohl eine Tochter Maria mit Alter 4 als auch eine Tochter Sabine mit Alter 2 haben:
|
|
|
