A RS - of the AG Database-Systems

Das Relationale Datenmodell
Berechnung der Formeln des Tupelkalkül
� Ein Ausdruck des Tupelkalküls hat die Form
�tRS � � | ft ���
wobei t (aus dem Schema RS) die einzig freie Variable in f ist.
Definition (Substitution):
� Sei fs � � eine Formel mit der freien Variable s. Dann ist fs/t � � die Substitution von der
Tupelvariable s in f durch das Tupel t, falls in jedem Atom, das ein freies Auftreten
von s enthält, wie folgt verfahren wird:
– R(s) wird ersetzt durch “wahr”, falls t � R.
Andernfalls durch “falsch”.
– s[A] � u[B] wird ersetzt durch c � u[B] mit c = t[A] (Ann.: u�s )
– s[A] � c wird ersetzt durch “wahr”, falls tA � � � c
gilt. Andernfalls durch “falsch”.
Bemerkung:
� Durch Substitution gewinnt man eine Formel die nur noch Konstanten der Form
“wahr” und “falsch” und Atome mit gebundenen Variablen enthält.
Seite 77