UNION
、CASE
和相关结构
SQL UNION
结构必须使可能不相似的类型匹配成为一个单一的结果集。该决定算法被独立地应用到一个联合查询的每个输出列。INTERSECT
和EXCEPT
采用和UNION
相同的方法来决定不相似的类型。其他一些结构,包括 CASE
、ARRAY
、VALUES
,以及 GREATEST
和 LEAST
函数,使用相同的算法来使它们的组成表达式匹配并选择一种结果数据类型。
UNION
、CASE
和相关结构的类型决定
如果所有的输入为相同类型,并且不是unknown
,那么就决定是该类型。
如果任何输入是一种域类型,在所有后续步骤中都把它当做 该域的基类型。 [12]
如果所有的输入为unknown
类型,则决定为text
(字符串分类的首选类型)类型。否则,为了剩余规则,unknown
输入会被忽略。
如果非未知输入不全是相同的类型分类,则失败。
选择第一个非未知输入类型作为候选类型,然后从左到右考虑其他非未知输入类型。 [13] 如果候选类型可以隐式转换为其他类型,但反之不行,则选择其他类型作为新的候选类型。 然后继续考虑剩余的输入。 如果在此过程的任何阶段选择了首选类型,请停止考虑其他输入。
将所有输入转换为最终候选类型。如果没有从给定输入类型到候选类型的隐式转换,则失败。
下面是一些例子。
Example 11.11. 联合中未指定类型的类型决定
SELECT text 'a' AS "text" UNION SELECT 'b'; text ------ a b (2 rows)
这里,未知类型文字'b'
将被决定为类型text
。
Example 11.12. 简单联合中的类型决定
SELECT 1.2 AS "numeric" UNION SELECT 1; numeric --------- 1 1.2 (2 rows)
文字1.2
是numeric
类型,且integer
值1
可以被隐式地造型为numeric
,因此使用numeric
类型。
Example 11.13. 可换位联合中的类型决定
SELECT 1 AS "real" UNION SELECT CAST('2.2' AS REAL); real ------ 1 2.2 (2 rows)
这里,由于类型real
被能被隐式地造型为integer
,而integer
可以被隐式地造型为real
,联合结果类型被决定为real
。
Example 11.14. 嵌套合并中的类型决定
SELECT NULL UNION SELECT NULL UNION SELECT 1; ERROR: UNION types text and integer cannot be matched
这个失败发生的原因是LightDB把多个UNION
当作是成对操作的嵌套,也就是说上面的输入等同于:
(SELECT NULL UNION SELECT NULL) UNION SELECT 1;
根据上面给定的规则,内层的UNION
被确定为类型text
。然后外层的UNION
的输入是类型text
和integer
,这就导致了上面看到的错误。通过确保最左边的UNION
至少有一个输入类型为想要的结果类型,就可以修正这个问题。
INTERSECT
和EXCEPT
操作也被当作成对操作。不过,这一节中描述的其他结构会在一个决定步骤中考虑所有的输入。