Prédicat — est une simple expression affirmant un certain fait, appelons-le P
.Si P
est résolu comme VRAI, il réussit.S’il prend FALSE ou NULL (UNKNOWN), il échoue.Cependant, il y a un piège ici : supposons que le prédicat P
renvoie FALSE.Dans ce cas, NOT (P)
retournera VRAI.D’autre part, si P
renvoie NULL (inconnu), alors NOT (P)
renvoie également NULL.
En SQL, les prédicats sont vérifiés dans la contrainte CHECK
, la clause WHERE
, la clause CASE
, la condition de jointure dans la phrase ON pour les phrases JOIN, et dans la clause HAVING
.Dans PSQL, les opérateurs de contrôle du flux d’exécution vérifient les prédicats dans les phrases IF
, WHILE
et WHEN
. Depuis que Firebird 3.0 a introduit le support des types logiques, le prédicat peut apparaître dans n’importe quelle expression valide.