在三值逻辑的背景下，布尔运算符和比较运算符的语义

Question

教授问了我这个问题：

在三值逻辑的背景下，布尔运算符和比较运算符的语义是什么？

我不确定他的意思是什么。比较运算符是什么？它和关系运算符一样吗？语义是什么？他是在问这两个术语在三值逻辑背景下的“含义”吗？

谢谢。

- DB Student

Answer 1

布尔值的定义包括两个选项：True和False，或者它们的某些表示方式，例如1/0、ON/OFF、YES/NO等。

许多数据库系统还允许您在指定为布尔值的字段中存储NULL值，以允许它们表示三个值：是、否和未知（NULL）。

布尔运算符是AND、OR和NOT。
比较运算符是EQUALS或NOT EQUALS的某种形式。

两端都是TRUE/FALSE值的操作很明显：
TRUE or FALSE -> TRUE
NOT TRUE -> FALSE
TRUE=TRUE -> TRUE

他所说的是添加NULL（未知）值的后果：
TRUE or UNKNOWN(NULL) -> ???
NOT UNKNOWN(NULL) -> ???
TRUE=UNKNOWN(NULL) -> ???

- JohnFx

Answer 2

基本上，三值逻辑是真/假/空，当比较true == null、null == null等时，布尔/比较运算符会以某种方式发挥作用。请参考http://en.wikipedia.org/wiki/Null_(SQL)#Three-valued_logic_.283VL.29。

- Tanzelax

Answer 3

布尔逻辑根据定义仅使用两个值。对我来说，这个问题没有意义。如果他问如何定义或扩展布尔逻辑以使用三值系统，那就更清晰了。

- mip