SQL 查询 - 双重否定

Question

我有下表，里面有一些学术小测验的答案记录：

回复

-SEMESTRE_ID（测验学期的外键）

-PERGUNTA_ID（测验问题的外键）

-DISCIPLINA_ID（被评估主题的外键）

-DOCENTE_ID（被评价教师的外键）

-QUIZ_ID（回答测验的每个人都有一个唯一的 quiz_id）

-TIPOAULA（类的类型，与此上下文无关）

-DATA（日期，与上下文无关）

-ID（答案的唯一 ID）

-RESPOSTA（答案的值，从 1 到 5）

因此，一个给定学期的测验有多个不同科目的问题，可以由人们评估（不一定需要对所有问题进行投票）。

我要实现的查询是：

id 21 学期测验每题至少5分的科目的id和缩写是什么？

我已经用计数策略解决了：

SELECT DISCIPLINA.DISCIPLINA_ID, SIGLA
FROM RESPOSTAS, DISCIPLINA
WHERE RESPOSTAS.DISCIPLINA_ID = DISCIPLINA.DISCIPLINA_ID AND SEMESTRE_ID = 21 AND RESPOSTA = 5
GROUP BY DISCIPLINA.DISCIPLINA_ID, SIGLA
HAVING COUNT(DISTINCT PERGUNTA_ID) = (SELECT COUNT(DISTINCT PERGUNTA_ID) FROM RESPOSTAS WHERE SEMESTRE_ID = 21);

但这是一个作业，我们也被要求使用双重否定策略来解决它，我似乎无法理解如何达到预期的结果。

Answer 1

这看起来像一个关系除法查询（如果我没记错的话），您正在寻找的双重否定示例是下面的查询。基本上它可以被解读为向我展示所有不存在问题的科目，而不是在分数为 5 或以上的问题集中

SELECT DISCIPLINA_ID, SIGLA 
FROM XDISCIPLINA XD
WHERE NOT EXISTS ( -- there can not be any questions ...
    SELECT 1 FROM XRESPOSTAS XR
    WHERE SEMESTRE_ID = 21 
    AND NOT EXISTS ( -- that are not in the set of 5+
       SELECT 1 FROM XRESPOSTAS 
       WHERE PERGUNTA_ID = XR.PERGUNTA_ID 
         AND SEMESTRE_ID = 21
         AND RESPOSTA >= 5
         AND XD.DISCIPLINA_ID = DISCIPLINA_ID
    )
)

关于这方面的一篇好文章是：Divided We Stand: The SQL of Relational Division，作者是 Joe Celko。非常值得一读。

编辑：

我认为由于缺少连接，上面的查询执行得非常糟糕。这个版本的性能应该会好很多：

SELECT DISCIPLINA_ID, SIGLA 
FROM XDISCIPLINA XD
WHERE SEMESTRE_ID = 21 
  AND NOT EXISTS (
    SELECT 1 FROM XRESPOSTAS XR
    WHERE SEMESTRE_ID = 21 AND
    XD.DISCIPLINA_ID = DISCIPLINA_ID AND
      NOT EXISTS (
       SELECT 1 FROM XRESPOSTAS 
       WHERE PERGUNTA_ID = XR.PERGUNTA_ID 
         AND SEMESTRE_ID = 21
         AND RESPOSTA > 4
         AND XD.DISCIPLINA_ID = DISCIPLINA_ID
    )
)

实现相同结果的另一种方法似乎表现得更好：

SELECT DISCIPLINA_ID, SIGLA 
FROM XDISCIPLINA XD
WHERE NOT EXISTS (
  SELECT PERGUNTA_ID FROM XRESPOSTAS XR 
    WHERE SEMESTRE_ID = 21 AND XD.DISCIPLINA_ID = DISCIPLINA_ID 
  INTERSECT
  SELECT PERGUNTA_ID FROM XRESPOSTAS XR 
    WHERE SEMESTRE_ID = 21 AND XD.DISCIPLINA_ID = DISCIPLINA_ID AND RESPOSTA < 5
    )