Division aus der Relationalen Algebra in SQL

[thebrain]

Hallo,

ich habe hier eine Abfrage aus der Relationalen Algebra:

(pi)Teil ,AName (Auto) : (pi)Teil (VORRAT) 

Hier findet man ein Beispiel wie die Division in der Relationalen Algebra funktioniert:
http://de.wikipedia.org/wiki/Relatio...gebra#Division

Ich muss jetzt diese Abfrage in SQL übersetzen. Ich dachte eigentlich folgendes wäre richtig, aber bin mir nicht sicher:

SELECT AName FROM Auto GROUP BY AName HAVING Teil = ANY (SELECT Teil FROM VORRAT) 

Kennt sich jemand damit aus?

Viele Grüße,
thebrain

[onemorenerd]

SELECT AName FROM Auto WHERE Teil IN (SELECT Teil FROM VORRAT)