Sémantique des booléens et les opérateurs de comparaison dans le cadre de trois-logique d'une valeur

Question

Professeur me poser cette question:

Quelle est la sémantique des opérateurs booléens et de comparaison dans le contexte de trois-logique évaluée ?

Je ne suis pas sûr de ce qu'il voulait dire par là. Qu'est-ce qu'un opérateur de comparaison? Est-ce la même chose que l'opérateur relationnel? Sémantique? Il s'interroge sur le «sens» de ces deux termes dans le contexte de la logique à trois valeurs?

Merci.

Answer 1

http://en.wikipedia.org/wiki/Null_(SQL)#Three-valued_logic_.283VL.29

Fondamentalement, trois logiques de valeur est true/false/null, et les opérateurs booléens/de comparaison fonctionne d'une certaine façon lorsque l'on compare vrai == null, null == null, etc.

Answer 2

La logique booléenne par définition utilise seulement deux valeurs. Pour moi, cette question n'a pas de sens. S'il vous demandait comment vous pouvez définir ou étendre la logique booléenne pour pouvoir utiliser un système à trois valeurs, ce serait plus clair.

Answer 3

valeurs booléennes, par définition, se composent de deux options: Vrai et Faux, ou une représentation d'eux comme 1/0, ON/OFF, OUI/NON, etc.

systèmes de base de données Beaucoup vous permettent également de stocker un Valeur NULL dans les champs désignés comme Boolean pour leur permettre de représenter trois valeurs: Oui, Non et Inconnu (NULL).

Les opérateurs booléens sont AND, OR et NOT.
Les opérateurs de comparaison sont une forme d'ÉGAUX ou NON ÉGAUX.

opérations avec des valeurs VRAI/FAUX sur les deux extrémités sont évidentes:
VRAI ou FAUX -> TRUE
NOT TRUE -> FAUX
TRUE = TRUE -> TRUE

ce qu'il obtient sont les conséquences de l'ajout de la valeur NULL (Unknown):
TRUE ou UNKNOWN (NULL) -> ???
PAS CONNU (NULL) -> ???
TRUE = INCONNU (NULL) -> ???