该查询的作用是什么？ [关闭]

Question

我正在为期末考试而学习，这是过去的考试：

表格：护士-（ nid：int ，nname：string，age：real，salary：real，sid：int）
表格：主管-（ sid：int ，等级：真实）
表格：WorksIn-（ nid：int ， hid：int ，hours：real）
表格：医院-（ hid：int ，hname：string，tid：int）
表格：镇-（ tid：int ，tname：string，mayor：string）

说明以下查询检索的内容：

 SELECT nname FROM Nurse N WHERE NOT EXISTS ( (SELECT H.hid FROM Hospital H WHERE H.town = 'Toronto') EXCEPT (SELECT W.hid FROM WorksIn W WHERE N.nid = W.nid)) 

该查询的作用是什么？ 我可以理解，子查询返回了多伦多所有没有护士工作的医院，但是我不知道这与NOT EXIST部分之间的关​​系。

Answer 1

分阶段考虑：

The set of nurses where 
  there does not exist
    a hospital in Toronto where the nurse doesn't work.

根据排除中间的法律，这变成

The set of nurses where
  the nurse works in all Toronto hospitals

请注意在与评论员的讨论中提出的这些观点：

• 子查询是针对每个护士单独评估的，而不是针对所有护士的集合单独评估的
• 就是说，每个护士，使护士不在的多伦多医院的医院是空的。 对于每位护士而言，他在多伦多所有的医院工作。
• 子查询的读法为：“护士所在的多伦多医院的集合（按组差异或负号表示）除外”。

Answer 2

对于每个护士，子查询将覆盖多伦多的所有医院，并且不包括其工作的所有医院 。 那使我们留在多伦多他/她不工作的医院 。 为了满足“ NOT EXIST要求，该护士的清单必须为空 。 因此，这位护士必须在多伦多的每家医院工作 。

因此，该查询返回在多伦多各家医院工作的护士 。

鉴于多伦多的规模及其医院的数量，这在人道上是不可能的，但这仍然是答案。