Rq4

Question

Donnez une requête exprimant le fait de trouver le Nom et l'Adresse des salles projetant un film de Bergman.

Solution

\(res=\{x_s, x_{ad}\mid \exists x_{tel}, x_h, x_{act}, x_{titre}, Film(x_{titre}, "Bergman'', x_{act})\\ \land Seances(x_s, x_{titre}, x_h)\\ \land Coordonnees(x_s, x_{ad}, x_{tel}) \} \)

Observons que la variable \(x_{titre}\) apparaît dans l'atome sur la relation \(Film\) et celui sur \(Seances\). On parle bien d'un film de Bergman, et on cherche une séance de ce film et pas d'un autre.

Notons que cette même requête peut également s'écrire en regroupant les variables quantifiées ensemble :

\(res=\{x_s, x_{ad}\mid \exists x_h, x_{act}, x_{titre}, Film(x_{titre}, "Bergman'', x_{act}) \\ \land Seances(x_s, x_{titre}, x_h) \\ \land\exists x_{tel}, Coordonnees(x_s, x_{ad}, x_{tel}) \}\)