expression IN (value [, ...])

右侧是一个用圆括号括起来的标量表达式列表。如果左侧表达式的结果等于右侧任一表达式的结果，则结果为“真”。这等价于以下写法：

expression = value1
OR
expression = value2
OR
...

请注意如果左手边表达式得到空值，或者没有相等的右手边值并且至少有一个右手边的表达式得到空值，那么IN结构的结果将为空值，而不是假。这符合 SQL 处理空值的布尔组合的一般规则。

expression NOT IN (value [, ...])

右侧是一个用圆括号括起来的标量表达式列表。如果左侧表达式的结果与右侧所有表达式的结果都不相等，则结果为“真”。这等价于以下写法：

expression <> value1
AND
expression <> value2
AND
...

请注意如果左手边表达式得到空值，或者没有相等的右手边值并且至少有一个右手边的表达式得到空值，那么NOT IN结构的结果将为空值， 而不是我们可能天真地认为的真值。这符合 SQL 处理空值的布尔组合的一般规则。

expression operator ANY (array expression)
expression operator SOME (array expression)

右侧是一个用括号括起来的表达式，它必须产生一个数组值。左侧表达式会被求值，并使用给定的operator与数组的每个元素进行比较，该操作符必须产生布尔结果。如果得到了任何真值结果，那么ANY的结果是“真”。如果没有找到真值结果（包括数组有零个元素的情况），那么结果是“假”。

如果数组表达式得到的是 null 数组，那么ANY的结果将为 null。如果左手边的表达式得到 null，ANY通常也为 null（尽管非严格比较操作符可能得到不同结果）。另外，如果右手边数组包含任何 null 元素，并且没有得到真值比较结果，那么ANY的结果将为 null 而不是假（同样假设这里使用的是严格比较操作符）。这符合 SQL 处理 null 值布尔组合的一般规则。

SOME是ANY的同义词。

expression operator ALL (array expression)

右侧是一个用括号括起来的表达式，它必须产生一个数组值。左侧表达式会被求值，并使用给定的operator与数组的每个元素进行比较，该操作符必须产生布尔结果。如果所有比较都得到真值结果，那么ALL的结果是“真”（包括数组有零个元素的情况）。如果有任何假值结果，那么结果是“假”。

如果数组表达式得到的是 null 数组，那么ALL的结果将为 null。如果左手边的表达式得到 null，ALL通常也为 null（尽管非严格比较操作符可能得到不同结果）。另外，如果右手边数组包含任何 null 元素，并且没有得到假值比较结果，那么ALL的结果将为 null 而不是真（同样假设这里使用的是严格比较操作符）。这符合 SQL 处理 null 值布尔组合的一般规则。

row_constructor operator row_constructor

两侧都是行构造器，如第 4.2.13 节所述。两个行值必须具有相同数量的字段。对两侧分别求值后，按行进行比较。当 operator 为 =、<>、<、<=、>、>=，或具有与其中之一类似语义的操作符时，允许进行行比较。（具体而言，如果某个操作符是某个 B-树操作符类的成员，或者是某个 B-树操作符类中 = 成员的否定子，它就可以作为行比较操作符。）

=和<>情况略有不同。如果两行的所有对应成员都是非空且相等则这两行被认为相等；如果任何对应成员是非空但是不相等则这两行不相等；否则行比较的结果为未知（空值）。

对于<、<=、>和>=这几种情况，会从左到右比较各行元素，一旦找到一对不相等或含有 null 的元素就立即停止。如果这对元素中的任意一个为 null，那么行比较的结果就是未知（null）；否则，这对元素的比较结果决定整个行比较的结果。例如，ROW(1,2,NULL) < ROW(1,3,0)的结果为真，而不是 null，因为第三对元素并不会被考虑。

row_constructor IS DISTINCT FROM row_constructor

这个结构与<>行比较相似，但是它对于空值输入不会得到空值。任何空值被认为和任何非空值不相等（有区别），并且任意两个空值被认为相等（无区别）。因此结果将总是为真或为假，永远不会是空值。

row_constructor IS NOT DISTINCT FROM row_constructor

这个结构与=行比较相似，但是它对于空值输入不会得到空值。任何空值被认为和任何非空值不相等（有区别），并且任意两个空值被认为相等（无区别）。因此结果将总是为真或为假，永远不会是空值。