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

安全なドメインリレーショナル論理式(p116)

1から3を満たすとき

ドメインリレーショナル論理式は安全である