FirebirdSQL logo
 Types de donnéesLanguage de définition des données (DDL) 

Prédicats

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.

Imbrications

Les conditions vérifiables ne sont pas toujours des prédicats simples.Il peut s’agir d’un groupe de prédicats, dont chacun, lorsqu’il est calculé, contribue au calcul de la vérité globale.Ces conditions complexes sont appelées assertions.Les assertions peuvent être constituées d’un ou plusieurs prédicats liés par les opérateurs logiques AND, OR et NOT. Les parenthèses peuvent être utilisées pour regrouper des prédicats et contrôler l’ordre des calculs.

Chacun des prédicats peut contenir des prédicats imbriqués.Le résultat du calcul de la vérité d’une déclaration est obtenu en calculant tous les prédicats dans la direction de l’interne vers l’externe.Chaque "niveau" est calculé par ordre de priorité jusqu’à obtenir la valeur de vérité de l’énoncé final.