Logique ternaire¶

Comme spécifié dans la norme SQL, la logique ternaire, ou logique à trois valeurs (3VL), est un système logique avec trois valeurs de vérité : TRUE, FALSE, et UNKNOWN. Dans Snowflake, UNKNOWN est représenté par NULL. La logique ternaire s’applique à l’évaluation des expressions booléennes, ainsi que des prédicats, et affecte les résultats des opérations logiques telles que AND, OR et NOT :

Lorsqu’ils sont utilisés dans des expressions (par ex. liste SELECT), les résultats UNKNOWN sont retournés sous forme de valeurs NULL.
Lorsqu’ils sont utilisés comme prédicats (par exemple, une clause WHERE), les résultats UNKNOWN sont évalués sur FALSE.

Dans ce chapitre :

Tables de vérité¶

Cette section décrit les tables de vérité pour les opérateurs de comparaison et logiques..

Opérateurs de comparaison¶

Si un opérande pour un opérateur de comparaison est NULL, le résultat est NULL. Les opérateurs de comparaison sont les suivants :

= , != , <>

< , <= , > , >=

GREATEST, LEAST

Opérateurs logiques¶

Avec une colonne BOOLEAN C :

Si `C` est :	`C AND NULL` s’évalue sur :	`C OR NULL` s’évalue sur :	`NOT C` s’évalue sur :
TRUE	NULL	TRUE	FALSE
FALSE	FALSE	NULL	TRUE
NULL	NULL	NULL	NULL

Par ailleurs :

Si `C` est :	`C AND (NOT C)` s’évalue sur :	`C OR (NOT C)` s’évalue sur :	`NOT (C OR NULL)` s’évalue sur :
TRUE	FALSE	TRUE	FALSE
FALSE	FALSE	TRUE	NULL
NULL	NULL	NULL	NULL

Notes sur l’utilisation des expressions conditionnelles¶

Cette section décrit le comportement spécifique des expressions conditionnelles suivantes.

Comportement IFF¶

La fonction IFF renvoie les résultats suivants pour la logique ternaire. Avec une colonne BOOLEAN C :

Si `C` est :	`IFF(C, e1, e2)` s’évalue sur :
TRUE	`e1`
FALSE	`e2`
NULL	`e2`

Comportement [ NOT ] IN¶

Les fonctions [ NOT ] IN renvoient les résultats suivants pour la logique ternaire. Avec 3 colonnes numériques c1, c2 et c3 :

c1 IN (c2, c3, ...) est syntaxiquement équivalent à (c1 = c2 or c1 = c3 or ...).

Par conséquent, lorsque la valeur de c1 est NULL, l’expression c1 IN (c2, c3, NULL) s’évalue toujours sur FALSE.
c1 NOT IN (c2, c3, ... ) est syntaxiquement équivalent à (c1 <> c2 AND c1 <> c3 AND ...).

Par conséquent, même si c1 NOT IN (c2, c3) est TRUE, c1 NOT IN (c2, c3, NULL) s’évalue sur NULL.