Question 21

$$HasWon={\pi }_{\{\acute{E}curie\}}({\rho }_{Vainqueur\to Pilote}({\pi }_{\{Ann\acute{e}e,Vainqueur\}})\bowtie Affiliation)$$

${\pi }_{\{\acute{E}curie\}}(Affiliation)-HasWon$

% base de données de la question 5
 
@let PODIUM = @relation [Annee, GP, Vainqueur, Deuxieme, Troisieme] {
  < 2001, Belgique, M. Schumacher, J. Trulli   , R. Barrichello >
  < 2003, Espagne , M. Schumacher, F. Alonso   , R. Barrichello >
  < 2003, Belgique, G. Fisichella, K. Raikkonen, F. Alonso >
}
 
@let AFFILIATION = @relation [Annee, Pilote, Ecurie] {
  < 2001, M. Schumacher , Ferrari >
  < 2001, R. Barrichello, Ferrari >
  < 2001, J. Trulli     , Jordan >
  < 2001, G. Fisichella , Benetton >
  < 2001, M. Hakkinen   , McLaren >
  < 2003, M. Schumacher , Ferrari >
  < 2003, R. Barrichello, Ferrari >
  < 2003, J. Trulli     , Renault >
  < 2003, F. Alonso     , Renault >
  < 2003, G. Fisichella , Jordan >
  < 2003, K. Raikkonen  , Jordan >
}
 
@let PARTICIPATIONS = @relation [Annee, Pilote, GP] {
  < 2001, M. Schumacher , Belgique >
  < 2001, R. Barrichello, Belgique >
  < 2001, J. Trulli     , Belgique >
  < 2001, G. Fisichella , Belgique >
  < 2003, M. Schumacher , Espagne >
  < 2003, R. Barrichello, Espagne >
  < 2003, F. Alonso     , Espagne >
  < 2003, G. Fisichella , Espagne >
  < 2003, M. Schumacher , Belgique >
  < 2003, R. Barrichello, Belgique >
  < 2003, J. Trulli     , Belgique >
  < 2003, F. Alonso     , Belgique >
  < 2003, G. Fisichella , Belgique >
  < 2003, K. Raikkonen  , Belgique >
}
 
@let HasWon = @project{Ecurie} (@rename{Vainqueur:Pilote}( @project{Annee, Vainqueur}(PODIUM)) @join AFFILIATION)
 
 
@let result = @project{Ecurie}(AFFILIATION) - HasWon
 
@print result