J'ai rencontré la réponse de cette question comme ceci : Cette requête est syntaxiquement correcte. Cependant, il demande tous les tuples S tels que S ne soit pas dans (l'instance donnée de) Sailors. L'ensemble de ces S tuples est évidemment infini, dans le contexte de domaines infinis tels que l'ensemble de tous les entiers. Cet exemple simple illustre une requête non sécurisée. Il est souhaitable de limiter le calcul relationnel pour interdire queries.I dangereux
m » rée si cela fonctionne pour vous.