Skript Datenbanken I - Praktische Informatik Universität Kassel

Kapitel 3 – Das relationale Modell 53
F selbst als Konstanten definierten Werte vereinigt mit den Wertebereichen
der angesprochenen Relationen.
Damit wäre die Abfrage
{ t | F(t)} = { t | t[NAME] � ’Rumpelstilzchen’ �
¬� s (s � TLIST � s[FB] = 17 � s[NAME] = t[NAME]) } =
{ t | t[NAME] � ’Rumpelstilzchen’ �
� s (s � TLIST � (s[FB] � 17 ��s[NAME] � t[NAME])) }
zulässig, die Antworten aber auf Namen aus TLIST beschränkt, wegen
DOM(F) = {’Rumpelstilzchen’}�� {’Hans’, ’Emil’, ’Anna’, ’Gabi’, 17,
19, 4477, 3443, 4476, 2441, NULL}, d. h. es ist sichergestellt, daß für die
Suche nach Namen, die beide logischen Ausdrücke ( ... � ’Rumpelstilzchen’
� � s (...)) erfüllen, keine endlose Schleife zur Generierung von
Werten erzeugt wird.
Die Forderung, daß in sicheren Formeln nur Werte aus DOM(F)
betrachtet werden, schränkt die Mächtigkeit des Kalküls (engl. safe tuple
relational calculus) im Vergleich zur relationalen Algebra nicht ein.
Übung 3–29
Betrachten Sie die folgende binäre Relation R(X, Y) mit nebenstehender
graphischen Interpretation.
R
X Y
1 2
2 3
3 1
4 1
Gesucht ist der transitive Abschluß R* von R, wobei ein Tupel t � R*
angibt, daß t[Y] von t[X] aus erreichbar ist. Kann man die Tabelle im
tupel-relationalen Kalkül formulieren?
1
4
2
3