UNION
、CASE
和相关结构SQL UNION
结构必须使可能不相似的类型匹配成为一个单一的结果集。该决定算法被独立地应用到一个联合查询的每个输出列。 INTERSECT
和EXCEPT
采用和UNION
相同的方法来决定不相似的类型。CASE
、ARRAY
、VALUES
、GREATEST
和LEAST
结构使用相同的算法来使它们的组成表达式匹配并选择一种结果数据类型。
UNION
、CASE
和相关结构的类型决定
如果所有的输入为相同类型,并且不是unknown
,那么就决定是该类型。
如果任何输入是一种域类型,在所有后续步骤中都把它当做 该域的基类型。 [9]
如果所有的输入为unknown
类型,则决定为text
(字符串分类的首选类型)类型。
否则,为了其余规则,unknown
输入被忽略。
如果非未知输入不全是相同的类型分类,则失败。
如果有的话,选择第一个在其分类中作为首选类型的非未知输入类型。
否则,选择最后的非未知输入类型,它允许所有在前面的非未知输入被隐式地转换为它(总有这样的一种类型,因为至少在列表中的第一个类型必须满足这个条件)。
转换所有的输入为选定的类型。如果没有一个从给定输入到选定类型的转换将会失败。
下面是一些例子。
例 10.9. 联合中未指定类型的类型决定
SELECT text 'a' AS "text" UNION SELECT 'b'; text ------ a b (2 rows)
这里,未知类型文字'b'
将被决定为类型text
。
例 10.10. 简单联合中的类型决定
SELECT 1.2 AS "numeric" UNION SELECT 1; numeric --------- 1 1.2 (2 rows)
文字1.2
是numeric
类型,且integer
值1
可以被隐式地造型为numeric
,因此使用numeric
类型。
例 10.11. 可换位联合中的类型决定
SELECT 1 AS "real" UNION SELECT CAST('2.2' AS REAL); real ------ 1 2.2 (2 rows)
这里,由于类型real
被能被隐式地造型为integer
,而integer
可以被隐式地造型为real
,联合结果类型被决定为real
。
[9] 多少有些类似于对待用于操作符和函数的域输入的方式,这种行为允许
一种域类型能通过一个UNION
或相似的结构保留下来,
只要用户小心地确保所有的输入都是(显式地或隐式地)准确类型。否
则会优先选择该域的基类型。