Aufgabe 1 - TUM Informatik III: Datenbanksysteme

Formulierung im Tupelkalkül
ΠMatrNr,Vorgnger
−
VorlNr=Nachfolger
hören voraussetzen
Studenten
hören
Abbildung 1: Operatorbaum
1. Wir selektieren die Studenten, die überhaupt eine Vorlesung hören (1. Existenzquantor).
2. Wir wählen davon die Studenten aus, die eine Vorlesung hören, die einen Vorgänger
hat (2. Existenzquantor).
3. Wir fordern dann, dass die bisher ausgewählten Studenten diese Vorgängervorlesung
nicht hören (negierter Existenzquantor).
{s |s ∈ Studenten ∧ ∃ h ∈ hören
(h.MatrNr = s.MatrNr ∧ ∃ v ∈ voraussetzen
(h.VorlNr = v.Nachfolger ∧ ¬∃ h1 ∈ hören
(h1.VorlNr = v.Vorgänger ∧ h1.MatrNr = s.MatrNr)))}
Formulierung im Domänenkalkül
Das Vorgehen ist analog zu dem beim relationalen Tupelkalkül. Unterschiede sind:
1. Quantoren beziehen sich auf Domänenvariablen anstatt auf Tupelvariablen.
2. Joinbedingungen können über Wiederverwendung von Domänenvariablen in Tupelkonstruktoren
ausgedrückt werden, um somit Gleichheit von Variablen auszudrücken.
3. Da über schon gebundene Domänenvariablen die hören-Tupel konstruiert werden können,
die zu einem Ergebnis-Studenten nicht existieren dürfen, entfällt das ¬∃ hier.
{[m,n] |∃ s([m,n,s] ∈ Studenten ∧ ∃ w([m,w] ∈ hören∧
∃ v([v,w] ∈ voraussetzen ∧ ¬([m,v] ∈ hören))))}
Wenn die bisher bestimmten Anfrageergebnisse um die Studenten erweitert werden sollen,
denen die indirekten Grundlagen 2. Stufe zu gehörten Vorlesungen fehlen, ergibt sich keine
andere Menge.
4