-- vista rappresentate le squadre vincitrici dei campionati
CREATE VIEW SQUADRE_VINCI (NomeSquadra) AS
SELECT PA.NomeSquadra
FROM PARTECIPAZIONI AS PA
WHERE PA.NPunti = (
    -- conteggio punti di ogni squadra nello stesso anno considerato nel select esterno
    SELECT MAX(PA_I.NPunti)
    FROM PARTECIPAZIONI AS PA_I
    WHERE PA.AnnoCampio = PA_I.AnnoCampio
);

SELECT SV.NomeSquadra
FROM SQUADRE_VINCI AS SV
GROUP BY SV.NomeSquadra
HAVING COUNT(*) >= ALL(
    -- conteggio di quante volte hanno vinto le squadre vincitrici
    SELECT COUNT(*)
    FROM SQUADRE_VINCI AS SV_I
    GROUP BY SV_I.NomeSquadra
);