pdf (1820 Kb) - Fachgebiet Datenbanken und Informationssysteme ...

FROM T
WHERE B>1)
Die Projektion ist in diesem Beispiel die erste Operation und kann daher benutzt werden
um die Select-Klausel des ersten SQL-Blocks zu füllen. Der nächste Knoten im zugehörigen
Operatorbaum wäre die Vereinigung. Da diese hier als Kindknoten einer Nicht-
Mengenoperation auftritt, ist eine Unteranfrage in der From-Klausel nötig. Die Vereinigung
verbindet zwei neue SQL-Blöcke über einen UNION-Operator. Die beiden SQL-
Blöcke werden dann von den Operanden der Vereinigung, also des Joins und der Selektion
befüllt. Auch in diesem Beispiel gilt, dass ein nach-innen-ziehen der Projektion sinnvoller
wäre, als die Anfrage direkt zu übersetzen, aber dies ist wieder die Aufgabe der Code-
Optimierung.
Der (Anti-)Semijoin
Ähnlich lassen sich auch die Semijoins und Antisemijoins untersuchen. Ein Antisemijoin
ist nicht in einem einzelnen SQL-Block darstellbar, da er eine Unteranfrage in der
Where-Klausel auslöst. Semijoins lassen sich zwar durch Umformung in einem SQL-Block
darstellen, dies soll aber wieder Aufgabe der Codeoptimierung sein. Somit wird auch hier
eine Unteranfrage in der Where-Klausel ausgelöst. Semijoins und Antisemijoins können
also wieder gleich behandelt werden. Auftretend als Operand einer Operation, die keinen
neuen SQL-Block zu Verfügung stellt, lösen sie eine Unteranfrage in der From-Klausel
aus. Die Anfrage R NJOIN (S ASJOIN[A=B] T) ist ohne Unteranfrage nicht darstellbar.
Auch als Operand von einstelligen Operationen wird für einen (Anit-)Semijoin eine
Unteranfrage erzeugt, dies kann durch Umformungen wie
PROJ[A](R ASJOIN[A=B] S) = PROJ[A](R) ASJOIN[A=B] S in der Codeoptimierungsstufe vermieden
werden. Für die Operanden eines (Anti-)Semijoins wird jeweils ein SQL-Block
zur Verfügung gestellt, in dem bereits eine Where-Bedingung existiert. Im rechten SQL-
Block ist die Where-Bedingung die Join-Bedingung, im linken besteht sie aus „(NOT)
EXISTS“ und einer Unteranfrage. Legt man nun fest, dass durch Operanden auftretende
Where-Bedingungen mit der vorhandenen Where-Bedingung Und-verknüpft werden, so
wird, abgesehen von den Mengenoperationen, für keinen Operanden eine Unteranfrage
in der From-Klausel ausgelöst. Diese Festlegung widerspricht nicht der Voraussetzung,
dass keine Umformungen in der Relationenalgebra vorgenommen werden dürfen, es handelt
sich hier lediglich um eine mögliche Interpretation. Die Anfrage R ASJOIN[A=B] (S
ASJOIN[B=C] T) führt damit zu folgendem SQL-Code.
SELECT ∗
FROM R
WHERE NOT EXISTS
(SELECT ∗
FROM S
WHERE A=B
AND NOT EXISTS
(SELECT ∗
FROM T
WHERE B=C))
42