A RS - of the AG Database-Systems

Das Relationale Datenmodell
Freie und gebundene Tupelvariablen
� Freie und gebundene Variablen im Tupelkalkül entsprechen globalen und lokalen
Variablen in einem Programm.
� Durch Angabe eines Quantors direkt vor einer freien Variablen wird diese gebunden.
Definition
– Das Auftreten einer Tupelvariablen in einem Atom ist stets frei.
– Für f = �g
und f = �g� sind alle freien Variablen von g auch frei in f.
– Für f = g�h und f = g�h sind die Variablen in f frei, falls sie es in g und h sind.
– Sei x eine freie Variable in g. Dann wird durch f = �x �RS��g� und f = �x (RS) �g� x zu einer gebundenen Variable in f. Dabei ist RS das Schema der Variable x.
Beispiel:
�x��pnr�mnr�Fähigkeit����P-M-Zuteilung�x� � x�Fähigkeit� � 4�
Seite 76