A RS - of the AG Database-Systems

Definition (sicherer Ausdruck)
Ein Ausdruck �t(RS) ft ���
wird als sicher bezeichnet, falls:
1.
2. für jede Teilformel �u�gu � ��
gilt: I�gu � � v��
= true � v � DOM�g� 3. für jede Teilformel �u�gu � ��
gilt: v � DOM�g��I�gu � � v��
= true
Beispiele:
�
�
�t�RSPersonal� | Personal�� t � t�Vorname� = “Willi“ �
ist ein sicherer Ausdruck
�t�RSPersonal� | �Personal�� t � tVorname � � = “Willi“ ��
ist nicht sicher.
Das Relationale Datenmodell
� Für eine Relation R und eine Formel f erfüllen die folgenden Teilformeln die
Bedingung 2 bzw. 3:
– �u � R�fu
� ��
–
I�fu � � t��
= true � t � DOM�� f
�u � R�fu
� ��
Seite 83