Formaler Datenbankentwurf - Informatixx

c Professor Dr. Georg Lausen, 2001: Vorlesung Datenbanken SQL: einfache Anfragen.8
Anfragen mit mehreren Relationen
explizite Spaltenreferenzierung, bzw. Tupelvariable/Korrelationsvariable/Alias
Bestimme alle Städte eines Landes.
SELECT DISTINCT City.name, Country.name
FROM City, Country
WHERE City.country = Country.code;
c Professor Dr. Georg Lausen, 2001: Vorlesung Datenbanken SQL: einfache Anfragen.10
zur Semantik:
Der folgende Ausdruck zur Berechnung von R \ (S [ T ) liefert �, sofern T = �!
SELECT R.A FROM R, S, T WHERE R.A = S.A OR R.A = T.A
SQL-Anfrage:
SELECT A 1�:::�An FROM R 1 AS t 1,...,Rm AS tm WHERE F
äquivalenter Ausdruck der relationalen Algebra:
[A 1�:::�A n]( [F ](r 1 ::: r m))
2
c Professor Dr. Georg Lausen, 2001: Vorlesung Datenbanken SQL: einfache Anfragen.9
... unter Verwendung eines Alias für die betreffenden Relationen.
SELECT DISTINCT S.name, L.name
FROM City S, Country L
WHERE S.country = L.code;
... die Verwendung des Schlüsselwortes AS bei der Benennung eines Alias
ist optional.
SELECT DISTINCT S.name, L.name
FROM City AS S, Country AS L
WHERE S.country = L.code;
Bestimme alle Paare von Ländern, die im selben Kontinent liegen (die Verwendung
eines Alias ist notwendig).
SELECT E1.country first, E2.country second
FROM encompasses E1, encompasses E2
WHERE E1.continent = E2.continent
AND E1.country < E2.country;
c Professor Dr. Georg Lausen, 2001: Vorlesung Datenbanken SQL: einfache Anfragen.11
Algorithmus (nested-loop-Semantik):
FOR each tuple t 1 in relation R 1 DO
FOR each tuple t 2 in relation R 2 DO
...
FOR each tuple tn in relation Rn DO
IF die WHERE-Klausel ist erfüllt nach Ersetzen der Attributnamen durch die
entsprechenden Werte von t 1�:::�tn THEN
werte die SELECT-Klausel bzgl. t 1�:::�tn aus und bilde das Antwort-Tupel.
Kalkül-Semantik:
Betrachte alle möglichen Zuweisungen von Tupeln aus den Relationen an die
Tupelvariablen und für jede solche Zuweisung, bzgl. der die WHERE-Klausel
erfüllt ist, bilde das Antwort-Tupel.