SELECT NomC FROM Numéros, Appels WHERE Numéros.NoT = Appels.NoT AND Appels.Zone = 5
SELECT NomC FROM Numéros, Appels, Tarifs WHERE Numéros.NoT = Appels.NoT AND Appels.Zone = Tarifs.Zone AND Appels.Duree > 120 AND Tarifs.Prix > 10
| {N | il existe C,A,Z,D,P: (Numeros(N,C,A) /\ Appels(N,Z,D) /\ Tarifs(Z,P) /\ D > 120 /\ P > 10) } |
SELECT NomC
FROM Numéros
WHERE NoT NOT IN (SELECT NoT
FROM Appels
WHERE Durée > 3);
| { N.NomC | Numeros(N) /\ ¬ il existeA (Appels(A) /\ A.Duree > 3 /\ N.NoT = A.NoT)} |
SELECT Zone, COUNT(*), SUM(Durée) FROM Appels GROUP BY Zone;
SELECT A.NoT FROM Numéros N, Appels A, Tarifs T WHERE N.NoT = A.NoT AND A.Zone = T.Zone AND T.Prix >= ALL (SELECT Prix FROM Tarifs) GROUP BY N.NoT HAVING SUM(A.Durée) > 180;