最初のページ
戻る
次へ
最後のページ
画像
タプルリレーショナル論理式 {t | Ψ(t)}
Ψ(t)を
「タプル変数をtのみを自由変数として持つ式」
とするとき
{ t | Ψ(t) }をタプルリレーショナル論理式という
[例]
uは束縛変数
(∃u)(...
tは自由変数