62、SQL三值逻辑的真相与陷阱

SQL三值逻辑的真相与陷阱

1. SQL三值逻辑的基础与现状

SQL的三值逻辑（3VL）常被认为基于Codd所定义的逻辑。虽然SQL标准支持显式的BOOLEAN数据类型，但当前的SQL产品通常并不支持。不过，这些产品所支持的SQL方言仍可能在真值函数上是完备的，具体如下：
- 基本连接词 ：NOT、OR和AND从SQL诞生之初就已存在，必然会得到支持。SQL标准虽未正式使用“连接词”这一术语，而是非正式地使用“布尔运算符”。
- 特殊连接词 ：IS [NOT] TRUE、IS [NOT] UNKNOWN和IS [NOT] FALSE于1992年被引入标准，比BOOLEAN数据类型的引入早了几年，但当前产品通常也不支持。
- 布尔变量模拟 ：可以通过布尔表达式模拟布尔变量。例如，用表达式 (a = b) 模拟一个假设的布尔变量 x ，当 (a = b) IS TRUE 求值为TRUE时， x 的值为TRUE；当 (a = b) IS UNKNOWN 求值为TRUE时， x 的值为UNKNOWN；当 (a = b) IS FALSE 求值为TRUE时， x 的值为FALSE。
- 常量模拟 ：
- 用 (0 = 0) 模拟 TRUE