Para especificar a restrição de que não poderá haver mais de um registro por aluno matriculado em uma mesma disciplina com a respectiva Nota maior ...

Para especificar a restrição de que não poderá haver mais de um registro por aluno matriculado em uma mesma disciplina com a respectiva Nota maior ou igual a 5, pode-se escrever a seguinte asserção em SQL-99:

(A) CREATE ASSERTION RESTRICAO CHECK (NOT EXISTS (SELECT Matricula, CodDisciplina, Nota, COUNT(*) FROM REGISTRO WHERE Nota >= 5 GROUP BY Matricula, CodDisciplina, Nota HAVING COUNT(*) > 1));
(B) CREATE ASSERTION RESTRICAO CHECK (NOT EXISTS (SELECT Matricula, CodDisciplina, COUNT(*) FROM REGISTRO WHERE Nota >= 5 GROUP BY Matricula, CodDisciplina HAVING COUNT(*) > 1));
(C) CREATE ASSERTION RESTRICAO CHECK (EXISTS (SELECT Matricula, CodDisciplina, COUNT(*) FROM REGISTRO WHERE Nota >= 5 GROUP BY Matricula, CodDisciplina HAVING COUNT(*) > 1));
(D) CREATE ASSERTION RESTRICAO CHECK (EXISTS (SELECT Matricula, CodDisciplina, Nota, COUNT(*) FROM REGISTRO WHERE Nota >= 5 GROUP BY Matricula, CodDisciplina, Nota HAVING COUNT(*) > 1));