Question 19

Pas fini le tuple final n’est pas correct, même si le résultat est bon ${\pi }_{\{Pilote\}}({\pi }_{\{Ann\acute{e}e,Pilote\}}(AFFILIATION)-{\pi }_{\{Ann\acute{e}e,Pilote\}}(PARTICIPATIONS))$

% 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 result = @project {Pilote}(
	@project {Annee, Pilote}(AFFILIATION)
  	-
    @project {Annee, Pilote}(PARTICIPATIONS)
)
 
@print result