Der relationale Domänenkalkül

Im relationalen Domänenkalkül werden Variable nicht an Tupel, sondern an Domänen, d.h. Wertemengen von Attributen, gebunden. Eine Anfrage hat folgende generische Struktur:

{[v₁, v₂,..., v_n] | P(v₁, v₂,..., v_n)}

Hierbei sind die v_i Domänenvariablen, die einen Attributwert repräsentieren. P ist eine Formel der Prädikatenlogik 1. Stufe mit den freien Variablen v₁, v₂,..., v_n.

Join-Bedingungen können implizit durch die Verwendung derselben Domänenvariable spezifiziert werden. Beispiel:

Alle Professorennamen zusammen mit den Personalnummern ihrer Assistenten:

{[n, a] | $$\exists$$p, r, t([p, n, r, t] $$\in$$ Professoren

        $$\wedge$$ $$\exists$$v, w([a, v, w, p] $$\in$$ Assistenten))}

Wegen des Existenz- und Allquantors ist die Definition des sicheren Ausdruckes etwas aufwendiger als beim Tupelkalkül. Da sich diese Quantoren beim Tupelkalkül immer auf Tupel einer vorhandenen Relation bezogen, war automatisch sichergestellt, daß das Ergebnis eine endliche Menge war.