ドメイン関係計算を学ぼうとしています。{<c>|< b, l, c, a> ∈ borrow ∧ a>1200}以下の関係とクエリを考えると、なぜ2 番目の質問を書けないのでしょうか? クエリが安全かどうかに関係があるような気がしますが、質問 1 の答えがうまくいくのはなぜですか? 正確に何が間違っているのかわかりません。説明を手伝っていただけますか？どうもありがとう！
http://www.cs.sfu.ca/CourseCentral/354/zaiane/material/notes/Chapter3/node18.html#SECTION00142000000000000000
からのソース
と、それが参照する関係はここにありますhttp://www.cs.sfu.ca /CourseCentral/354/zaiane/material/notes/Chapter3/node8.html#SECTION00121000000000000000