Rq 7
Question
Donnez une requête permettant de trouver les « Salles où on peut voir “Annie Hall” ou “Manhattan” ».
Solution
\(res=\{ x_t \mid \exists x_{s1}, x_{s2}, ( SEANCES(x_t,\mbox{"Annie Hall"},x_{s1}) \vee SEANCES(x_t,\mbox{"Manhattan"},x_{s2}) ) \}\)
Notons que si la question implique qu'on voulait les voir exactement au même horaire de début, alors il faudrait écrire :
\(res=\{ x_t \mid \exists x_s( SEANCES(x_t,\mbox{"Annie Hall"},x_s) \vee SEANCES(x_t,\mbox{"Manhattan"},x_s) ) \}\)