Pourquoi l'inégalité avec NULL ne renvoie pas toujours vrai
Lorsque l'on compare les valeurs NULL avec l'opérateur d'inégalité ("!="), c'est on suppose souvent que le résultat doit être vrai, puisque NULL n'est pas égal à lui-même. Cependant, dans certains contextes comme SQL, cette hypothèse n'est pas valide.
Logique ternaire de SQL
En SQL, NULL représente une valeur inconnue. Cela introduit un troisième état logique au-delà du vrai et du faux, appelé « inconnu ». En conséquence, les comparaisons d'inégalités avec NULL suivent une logique ternaire, où le résultat peut être l'une des trois options suivantes :
Exemple :
Considérez le déclaration suivante :
WHERE (A <> B)
Si A et B sont tous deux NULL, l'expression ci-dessus renvoie "inconnu" car il n'y a aucun moyen de déterminer s'ils sont vraiment inégaux ou s'ils sont tous les deux inconnus.
Implications pour la vérification des inégalités
Cette logique ternaire dicte qu'une simple vérification des inégalités avec NULL ne retourne pas toujours vrai. Pour garantir des résultats précis, il est nécessaire de vérifier explicitement les conditions NULL à l'aide de « IS NULL » et « IS NOT NULL ».
Par exemple, l'expression suivante gère correctement les comparaisons d'inégalités avec NULL :
WHERE ((A <> B) OR (A IS NOT NULL AND B IS NULL) OR (A IS NULL AND B IS NOT NULL))
En incorporant ces vérifications explicites, la base de données peut déterminer le résultat logique correct (vrai, faux ou inconnu) pour tous les cas possibles impliquant des valeurs NULL.
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!