最初のページ
戻る
次へ
最後のページ
画像
安全なドメインリレーショナル論理式(p116)
1から3を満たすとき
ドメインリレーショナル論理式は安全である
Ψ(t)が真であるならばtの各要素はDOM(Ψ)の要素である
Ψ(t)の中の任意の部分式(∃u)Φ(u)において、タプルuに対してΦ(u)が真となるならばuの各要素はDOM(Φ)の要素である
Ψ(t)の中の任意の部分式(∀u)Φ(u)において、タプルuに対してΦ(u)が偽となるならばuの各要素はDOM(Φ)の要素である