piDateL(Livraison |>to -.45em< | sigma |
|
Container) |
SELECT DateL FROM Livraison, Container WHERE TypeA='farine animale' AND Livraison.IdC = Container.IdC
SELECT NomF, DateL FROM Livraison, Container, Consommation WHERE Livraison.IdC = Container.IdC AND Container.IdC = Consommation.IdC AND TypeA = 'farine animale' AND DateC > '03/06/99';
{NF, DL | | | il existe QL, I, DC, QC (Livraison(I, DL, QL) /\ |
Container(I, NF, 'farine animale') /\ | ||
Consommation(I, DC, QC) /\ DC > '03/06/99')} |
piNomF Fournisseur - piNomF(sigma |
|
Fournisseur) |
SELECT NomF FROM Fournisseur WHERE NomF NOT IN (SELECT NomF FROM Fournisseur WHERE TypeA='farine animale');
{f1.NomF | | | Fournisseur(f1) /\ |
¬il existef2 (Fournisseur(f2) /\ f2.TypeA='farine animale' /\ f1.NomF = f2.NomF)} |
SELECT NomF, TypeA, SUM(QuanL) FROM Livraison, Container WHERE Livraison.IdC = Container.IdC GROUP BY NomF, TypeA;
SELECT NomF FROM Livraison, Container WHERE Livraison.IdC = Container.IdC AND DateL > '6/6/99' AND TypeA = 'farine animale' GROUP BY NomF HAVING SUM(QuanL) > 5000;