最初のページ 戻る 次へ 最後のページ 画像

不適切なタプルリレーショナル論理式

¬R(t)が真であるなら、tはR(t)中にない

tの各要素はDOM(Ψ)の要素ではない

1. Ψ(t) が真であるならば

tの各要素はDOM(Ψ)の要素である

¬R(t)

この部分に反する

安全なタプルリレーショナル論理式ではない