Exercice : Cours sans inscrits [Séquence 6/6 : TP "papier"]

Cours sans inscrits

Question

Donnez les CODE_COURS des cours n'ayant aucun inscrit.

Indice

En SQL, on va chercher à trouver les NC des cours qui ont au moins un inscrit, et chercher les cours qui ne sont pas dans cet ensemble.

Solution

SQL

SELECT CODE_COURS
FROM COURS C
WHERE C.NC NOT IN
( 
  SELECT I.NC
  FROM INSCRIT I
)

SELECT CODE_COURS
FROM COURS C
WHERE C.NC NOT IN
( 
  SELECT I.NC
  FROM INSCRIT I
)

Solution

Calcul relationnel

Res={CODE_COURS}|\(\exists\){NC, INTITULE, ECTS, NR, DPT}, \(\forall\){NE, ANNEE} (COURS(NC, CODE_COURS, INTITULE, ECTS, NR, DPT)\(\wedge \neg\)INSCRIT(NE, NC, ANNEE)))