TRC: sélectionnez un ID s'il apparaît sur toutes les mesures

Question

J'ai ces deux "tables":

Station (station_id, city)            // Stations details
Rainfall (station_id, date, amount)   // Rainfall measurements

Avec Calcul relationnel tuple (TRC), j'ai besoin d'obtenir les identifiants de toutes les stations qui ont des mesures connexes à chaque date où n'importe quel la mesure a été prise.

Donc, avec les tables suivantes, je suis censé sélectionner 5 Parce que cette station a des mesures à chaque date qui a une mesure.

       Station                             Rainfall
       -------                             --------
--station_id-----city--      --station_id-----date-----amount--
      5           LA               5          01/01      4
      7           NY               7          02/02      8
                                   5          02/02      3

J'ai essayé cela mais je ne sais pas trop si cela fonctionnerait s'il n'y a pas de mesures du tout (dans ce cas, je suis censé sélectionner tout ID de station):

{ t | ∃s ∈ Station (t[station_id] = s[station_id] ∧ 
    ∀r ∈ Rainfall (∃q ∈ Rainfall (r[date] = q[date] ∧ s[station_id] = q[station_id])) ) }

J'ai besoin de votre aide pour comprendre si ce que j'ai fait est correct.