A RS - of the AG Database-Systems

Interpretation der Formel
Das Relationale Datenmodell
� Sei f eine Formel ohne freie Variablen. Die Interpretation I(f) ist wie folgt definiert:
– Sei f = “wahr”. Dann ist I(f) := true. Sei f = “falsch”. Dann ist I(f) := false.
– Sei f = (g). Dann ist I(f) := I(g).
– Sei f = �g.
Dann ist I(f) := true genau dann, falls I(g) = false.
– Sei f = g � h.
Dann ist I(f) := true genau dann, falls I(g) = true und I(h) = true.
– Sei f = g � h.
Dann ist I(f) := true genau dann, falls I(g) = true oder I(h) = true.
– Sei f = �xRS
� � �gx � ��.
Dann ist I(f) := true, falls es mindestens ein Tupel t aus dem
Schema RS gibt, so dass I(g(x/t)) = true ist. Andernfalls, I(f) := false
– Sei f = �xRS
� ��gx � ��.
Dann ist I(f) := true genau dann, falls für alle t aus dem Schema
RS I(g(x/t)) = true gilt. Andernfalls, I(f) := false.
� Sei E = �x�RS� | fx � ��
ein Ausdruck des Tupelkalküls und sei RS = {A1 ,…,An } das
Schema von x und D1 � D2 � … � Dn der Wertebereich. Der Wert von E zu einer
gegebenen Datenbank besteht aus allen Tupel t � D1�D2�… � Dn , die
erfüllen.
I�f�x/t�� =
true
Seite 79