Formaler Datenbankentwurf - Informatixx

c Professor Dr. Georg Lausen, 2001: Vorlesung Datenbanken SQL: Tabellenausdrücke.4
Mengenoperationen
Welche Länder sind Teil von Europa und von Asien?
(SELECT country
FROM encompasses
WHERE continent = 'Europe')
INTERSECT
(SELECT country
FROM encompasses
WHERE continent = 'Asia');
c Professor Dr. Georg Lausen, 2001: Vorlesung Datenbanken SQL: Tabellenausdrücke.6
Teilanfragen mit Korrelationsvariablen
Bei Verwendung von Korrelationsvariablen von übergeordneten Anfragen wird die
Teilanfrage pro Wertekombination der Korrelationsvariablen einmal ausgeführt.
Mitglied in denselben Organisationen wie Andorra? (Division!)
SELECT DISTINCT country
FROM is member M
WHERE NOT EXISTS
((SELECT DISTINCT organization FROM is member
WHERE country = 'AND')
EXCEPT
(SELECT DISTINCT organization FROM is member
WHERE country = M.country));
c Professor Dr. Georg Lausen, 2001: Vorlesung Datenbanken SQL: Tabellenausdrücke.5
Welche Land-ID's treten in der Relation Country oder (und nicht in) der Relation
encompasses auf?
(SELECT code
FROM Country)
UNION
(SELECT country
FROM encompasses);
(SELECT code
FROM Country)
EXCEPT
(SELECT country
FROM encompasses);
Mittels UNION ALL, INTERSECTION ALL, EXCEPT ALL werden Duplikate der
Zeilen berücksichtigt.
Hat der erste Operand n Duplikate eines Tupels und der zweite Operand m, wobei
0 n� m, dann hat das Ergebnis n +m, min(n� m), max(n�m� 0) Duplikate dieses
Tupels.
c Professor Dr. Georg Lausen, 2001: Vorlesung Datenbanken SQL: Tabellenausdrücke.7
Welche Organisationen haben alle europäischen Länder als Mitglieder und nur
gerade diese? (Mengengleichheit!)
(SELECT DISTINCT organization
FROM is member im1
WHERE (NOT EXISTS
(SELECT Country
FROM encompasses
WHERE encompasses.continent = 'Europe') EXCEPT
(SELECT im2.Country
FROM is member im2
WHERE im2.organization = im1.organization))
AND (NOT EXISTS
(SELECT im2.Country
FROM is member im2
WHERE im2.organization = im1.organization) EXCEPT
(SELECT Country
FROM encompasses
WHERE encompasses.continent = 'Europe')));