11.3. 操作符优化信息

作者: 由 Tom Lane 书写。

PostgreSQL 的操作符定义可以包括几个可选的子句, 这些子句告诉系统一些关于该操作符的特性的有用信息。 在可能的情况下,我们都应该提供这些子句, 因为它们可能为使用这个操作符的查询带来可观的速度提升。 不过要注意如果你声明了这些子句,你必须确保它们是正确的! 对优化子句的错误使用将导致后端的崩溃, 微小的输出错误或者其他糟糕事情。如果你对这些事情不确定的话, 你可以总是忽略优化子句;唯一的后果是查询可能比需要的运行的慢一些。

附加的优化子句可能在今后的 PostgreSQL版本里出现。 这里描述的都是版本 7.3.3 可以理解的。

11.3.1. COMMUTATOR

如果提供了 COMMUTATOR子句,则命名一个操作符是被定义的操作符的交换符。 如果有两个操作符A,B,对于任何可能的输入数值 x,y 都有 A,B,对于任何 都有 (x A y) 等于 (y B x),那么我们就说 A 是 B 的交换符, 同样 B 也是 A 的交换符。 例如,操作符 <> 对于所使用的一定的数据类型通常都是对方的交换符, 而操作符 '+' 通常是它自身的交换符。但是操作符 '-' 通常没有交换符。

一个被换向的操作符的左操作数与它的交换符的右操作数类型相同,反之亦然。 所以 PostgreSQL所需要的只是一个交换符操作符 的名称用以查找该交换符,那也是COMMUTATOR 子句里所需要的唯一的东西。

当你定义一个自换向的操作符时,你定义它就是了。 当你定义一对交换符操作符时,事情就有一点棘手: 怎样定义一个操作符的交换符指向另一个你还没有定义的操作符呢? 我们对这个问题有两个解决方法:

11.3.2. NEGATOR

如果提供了NEGATOR子句,则命名一个操作符是被定义的操作符的否定符。 如果有两个都返回布尔变量的操作符 A 和 B,对任何可能的输入 x 和 y, 都有 (x A y) 等于 NOT (x B y),那么我们说 A 是 B 的否定符。 当然 B 也是 A 的否定符。例如,<>= 对大多数数据类型是一对否定符。 一个操作符不可能是它自身的有效操作符。

不象交换符,一对单目操作符可以互为有效的否定符; 那就意味着对于所有的 x,(A x) 等于 NOT (B x),或者 类似的右目操作符的这种情况。

一个操作符的否定符必须有与该操作符本身一样的左和/或右操作数, 所以就象COMMUTATOR一样,只有操作符名需要 在NEGATOR子句里面给出。

提供否定符对查询优化器是非常有帮助的, 因为这样就允许象NOT (x = y)这样的表达式简化成 x <> y。这样的情况比你想象的要频繁的多, 因为NOT可能因为其他的重排列而被引入。

否定符对可以用上面换向符对中解释的相同的方法来定义。

11.3.3. RESTRICT(限制)

如果提供了RESTRICT子句,则为操作符命名一个选择性限制计算函数 (注意这里是一个函数名,而不是一个操作符名)。 RESTRICT子句只是对返回boolean变量的双目操作符有意义。 选择性限制计算符的概念是猜测一个表中所有行的哪 一部分对于目前的操作符和特定的常量将满足一个象下面这样形式的 WHERE 条件子句

column OP constant

它可以给出这种类型的WHERE子句可以删除多少行的一个概念, 这将帮助优化器进行优化。(你可能会说, 如果该常量(constant)在左边怎么办?哦,那是COMMUTATOR 干的事...)

书写新的选择性限制计算函数远远超出了本章的范围, 不过很幸运的是,通常你对自己的操作符只需要使用 系统标准的计算器之一就行了。下面是一些标准限制计算器:

eqsel for =
neqsel for <>
scalarltsel for < or <=
scalargtsel for > or >=

这些都是分类,看起来有点奇怪,不过如果你仔细想想,就会觉得有道理。 '=' 大多将只接受表中的一小部分行; '<>' 大多将拒绝一小部分行。 '<' 将接受的行取决于给出的常量落在表的该列数据值的哪一个范围里 (该值碰巧是 ANALYZE 收集并且提供给选择性计算器的信息)。 '<=' 在同样的常量时会接受比 '<' 略微大一些的行, 不过它们也非常接近,几乎不值得区别开来, 尤其是无论如何我们也比做盲猜好得多。类似的情况也适用于 '>' and '>='。

你可能常习惯于把eqsel或者neqsel 用于那些非常高或者非常低选择性的操作符,即使它们并非真正相等或 者不相等。例如, 几何操作符约等于就使用eqsel,它是基于这样的假设: 它们只会匹配整个表中的一小部分记录。

你可以把scalarltselscalargtsel 用于比较那些为进行范围比较被转化为数字尺度后有明显意义的数据类型。 如果可能,把该数据类型增加到可以被文件 src/backend/utils/adt/selfuncs.c里的过程 convert_to_scalar() 理解的部分。(最终,这个过程将被放到由pg_type 表里的一个列标识的每种类型一个的函数代替,不过目前还没有这么做。) 如果你没有做这些,系统仍然能工作,不过优化器的估计不会象想象的那么好。

src/backend/utils/adt/geo_selfuncs.c 里还有为几何操作符设计的额外的选择性函数:areaselpositionsel, 和contsel。在我写这些的时候,它们都只是存根, 但是你还是可以使用(或者更好的是,改良它们)它们。

11.3.4. JOIN(连接)

如果提供了JOIN子句, 则为操作符命名一个连接选择性函数(注意这里是函数名,不是操作符名)。 JOIN子句只是对返回boolean的双目操作符有意义。 一个连接选择性计算器后面的概念是猜测一对表上的哪一部分 行对目前的操作符将满足下面形式的WHERE子句的条件

table1.field1 OP table2.field2

RESTRICT子句一样, 这些很有可能帮助优化器用最少的处理勾画出要采取可能的连接顺序中的哪一个。

和前面一样,本节不会试图解释如何书写一个连接选择性计算器函数, 但是会建议你在有一个可用的情况下,使用一个标准的计算器:

eqjoinsel for =
neqjoinsel for <>
scalarltjoinsel for < or <=
scalargtjoinsel for > or >=
areajoinsel for 2D area-based comparisons
positionjoinsel for 2D position-based comparisons
contjoinsel for 2D containment-based comparisons

11.3.5. HASHES

如果出现了HASHES子句, 则告诉系统对于一个基于此操作符的连接可以使用哈希(散列)连接。 HASHES只对返回boolean的双目操作符有意义, 并且实际上该操作符最好是对某种数据类型的相等操作符。

哈希(散列)连接的假设是: 对于一对哈希(散列)到同样的哈希(散列)代码的左和右操作数值,该连接 操作符只能返回真。如果两个值被放到不同的哈希桶里, 连接将根本不比较它们,隐含地意味着连接操作符的结果一定是假。 所以对于不代表相等的操作符,声明HASHES是没有意义的。

实际上,逻辑相等还不够好;该操作符最好是代表完全的按位相等, 因为哈希函数将对该值的内存表现形式进行计算而不管这些位的含义是什么。 例如,时间间隔的相等不是按位相等;时间间隔相等操作符认为如果 两个时间间隔具有相同持续时间时就是相等的, 而不管它们的两个端点是否相等。 这就意味着对于一个用"=" 在时间间隔域之间的连接, 如果用哈希连接实现将会和用别的连接实现生成不同的结果,因为可以匹配 的大部分数据对将被哈希成不同的值因而不会被哈希连接进行比较。 但是如果优化器选择使用不同的连接方法, 所有等号操作符说相等的数据对都会被找出来。我们不想出现那种不一致性, 所以我们没有标记时间间隔等号为可哈希的。

同时还有一些硬件相关的因素会导致一个哈希连接的计算错误。 例如,如果你的数据类型是一个结构,结构里可能有不引人注意的填充位, 这时把这个等号操作符标记为HASHES也是不安全的。(除非你书写你的 其他操作符以确保这些未用的位总是零。) 另一个例子是浮点数据类型对哈希连接也是不安全的。在符 合IEEE浮点标准的机器上, 负零和正零是不同的值(不同的位模式), 但是它们被定义为比较相等。所以,如果浮点等号被标记为HASHES, 一个负零和一个正零可能不被哈希连接匹配,但是用其他连接处理, 它们应该是匹配的。

底线是: 你可能只能把HASHES用于用(或可以用)memcmp() 实现的等号操作符。

11.3.6. MERGES (SORT1, SORT2, LTCMP, GTCMP)

如果出现了SORT子句, 则告诉系统对基于目前的操作符可以使用融合连接方法。 MERGES只是对返回 boolean 地双目操作符有意义, 实际上这个操作符对于某些数据类型或者某对数据类型必须表示相等。

融合连接是以这样的概念为基础的: 对左边和右边的表进行排序,然后并行地扫描它们。所以,两种数据类 型都必须是能够完全排序的, 并且连接操作符必须只对那些落在排序顺序中的"某个位置"的数值对成功。实 际上这意味着连接操作符必须表现得象等于。 但是和哈希连接不同,哈希连接里左边和右边的数据类型最 好是相同的(至少是按位相等), 可以对两种不同数据类型进行融合连接 -- 只要他们逻辑相等即可。例 如,int2int4的相等操作符是可以用融合连接的。 我们只需要可以把两种数据类型排列成逻辑可比的序列 的排序操作符即可。

融合连接地执行要求系统可以标识四种与融和连接相等性操作符 相关地操作符:用于左手边输入数据类型地小于比较,用于右手边输入数据类型的 小于比较,在两种数据类型之间的小于比较,以及在两种数据类型之间的大于比较。 (如果可以融和连接的操作符有两个不同的输入数据类型,那么这里实际上 有四种不同的操作符;但是如果输入类型相同,那么三个小于操作符都是相同 的操作符。) 我们可以通过名字逐个声明这些操作符,分别是 SORT1SORT2LTCMP,以及 GTCMP 选项。 如果在声明了 MERGES 的同时却省略了其中的任何一个,那么 系统将填充缺省的名字 <<<>。同样,如果这四种操作符选项中的任何出现,那么 将假设MERGES 为隐含的,因此我们可以只声明其中一部分 操作符然后让系统填充其它的。

四种比较操作符的输入类型可以从可融合连接的操作符的输入类型归纳出来, 因此,和 COMMUTATOR 一样,我们只需要在这些子句中给出 操作符名。除非你使用了特定选取的操作符名,那么写一个 MERGES 然后让系统填充细节就足够了。(和 COMMUTATOR 以及 NEGATOR 一样,如果你碰巧在其它操作符前定义了相等性操作符,那么系统可以制作伪操作符记录。)

还有一些对你标记为可融合连接的操作符的附加限制。 这些限制目前没有被CREATE OPERATOR检查,但 是如果下面之一不为真的话,融合连接会在运行时失败:

注意: 注意,在 PostgreSQL 版本 7.3 以前, 所写 MERGES 并不存在:要写一个可融合连接的操作符, 我们必须明确写出 SORT1SORT2。同样, LTCMPGTCMP 选项并不存在;这些操作符 分别写成了硬代码 <>