如我们在上一节所见,查询规划器需要估计一个查询要检索的行数,这样才能对查询计划做出好的选择。 本节对系统用于这些估计的统计信息进行一个快速的介绍。
统计信息的一个部分就是每个表和索引中的项的总数,以及每个表和索引占用的磁盘块数。这些信息保存在pg_class
表的reltuples
和relpages
列中。 我们可以用类似下面的查询查看这些信息:
SELECT relname, relkind, reltuples, relpages FROM pg_class WHERE relname LIKE 'tenk1%'; relname | relkind | reltuples | relpages ----------------------+---------+-----------+---------- tenk1 | r | 10000 | 358 tenk1_hundred | i | 10000 | 30 tenk1_thous_tenthous | i | 10000 | 30 tenk1_unique1 | i | 10000 | 30 tenk1_unique2 | i | 10000 | 30 (5 rows)
这里我们可以看到tenk1
包含 10000 行, 它的索引也有这么多行,但是索引远比表小得多(不奇怪)。
出于效率考虑,reltuples
和relpages
不是实时更新的 ,因此它们通常包含有些过时的值。它们被VACUUM
、ANALYZE
和几个 DDL 命令(例如CREATE INDEX
)更新。一个不扫描全表的VACUUM
或ANALYZE
操作(常见情况)将以它扫描的部分为基础增量更新reltuples
计数,这就导致了一个近似值。在任何情况中,规划器将缩放它在pg_class
中找到的值来匹配当前的物理表尺寸,这样得到一个较紧的近似。
大多数查询只是检索表中行的一部分,因为它们有限制要被检查的行的WHERE
子句。 因此规划器需要估算WHERE
子句的选择度,即符合WHERE
子句中每个条件的行的比例。 用于这个任务的信息存储在pg_statistic
系统目录中。 在pg_statistic
中的项由ANALYZE
和VACUUM ANALYZE
命令更新, 并且总是近似值(即使刚刚更新完)。
除了直接查看pg_statistic
之外, 手工检查统计信息的时候最好查看它的视图pg_stats
。pg_stats
被设计为更容易阅读。 而且,pg_stats
是所有人都可以读取的,而pg_statistic
只能由超级用户读取(这样可以避免非授权用户从统计信息中获取一些其他人的表的内容的信息。pg_stats
视图被限制为只显示当前用户可读的表)。例如,我们可以:
SELECT attname, inherited, n_distinct, array_to_string(most_common_vals, E'\n') as most_common_vals FROM pg_stats WHERE tablename = 'road'; attname | inherited | n_distinct | most_common_vals ---------+-----------+------------+------------------------------------ name | f | -0.363388 | I- 580 Ramp+ | | | I- 880 Ramp+ | | | Sp Railroad + | | | I- 580 + | | | I- 680 Ramp name | t | -0.284859 | I- 880 Ramp+ | | | I- 580 Ramp+ | | | I- 680 Ramp+ | | | I- 580 + | | | State Hwy 13 Ramp (2 rows)
注意,这两行显示的是相同的列,一个对应开始于road
表(inherited
=t
)的完全继承层次, 另一个只包括road
表本身(inherited
=f
)。
ANALYZE
在pg_statistic
中存储的信息量(特别是每个列的most_common_vals
中的最大项数和histogram_bounds
数组)可以用ALTER TABLE SET STATISTICS
命令为每一列设置, 或者通过设置配置变量default_statistics_target进行全局设置。 目前的默认限制是 100 个项。提升该限制可能会让规划器做出更准确的估计(特别是对那些有不规则数据分布的列), 其代价是在pg_statistic
中消耗了更多空间,并且需要略微多一些的时间来计算估计数值。 相比之下,比较低的限制可能更适合那些数据分布比较简单的列。
更多规划器对统计信息的使用可参阅第 70 章。
常常可以看到由于查询子句中用到的多个列相互关联而运行着糟糕的执行计划的慢查询。规划器通常会假设多个条件是彼此独立的,这种假设在列值相互关联的情况下是不成立的。由于常规的统计信息天然的针对个体列的性质,它们无法捕捉到跨列关联的知识。不过,PostgreSQL有能力计算多元统计信息,它能捕捉这类信息。
由于可能的列组合数非常巨大,所以不可能自动计算多元统计信息。可以创建扩展统计信息对象(更常被称为统计信息对象)来指示服务器获得跨感兴趣列集合的统计信息。
统计信息对象可以使用CREATE STATISTICS命令创建。这样一个对象的创建仅仅是创建了一个目录项来表示对统计信息有兴趣。实际的数据收集是由ANALYZE
(或者是一个手工命令,或者是后台的自动分析)执行的。收集到的值可以在pg_statistic_ext
目录中看到。
ANALYZE
基于它用来计算常规单列统计信息的表行样本来计算扩展统计信息。由于样本的尺寸会随着表或者表列的统计信息目标(如前一节所述)增大而增加,更大的统计信息目标通常将会导致更准确的扩展统计信息,同时也会导致更多花在计算扩展统计信息之上的时间。
下面的小节介绍当前支持的扩展统计信息类型。
最简单的一类扩展统计信息跟踪函数依赖,这是在数据库范式定义中使用的概念。如果列a
的值的知识足以决定列b
的值,即不会有两个行具有相同的a
值但是有不同的b
值,我们就说列b
函数依赖于列a
。在一个完全规范化的数据库中,函数依赖应该仅存在于主键和超键上。不过,实际上很多数据集合会由于各种原因无法被完全规范化,常见的例子是为了性能而有意地反规范化。即使在一个完全规范化的数据库中,也会有某些列之间的部分关联,这些可以表达成部分函数依赖。
函数依赖的存在直接影响了特定查询中估计的准确性。如果一个查询包含独立列和依赖列上的条件,依赖列上的条件不会进一步降低结果的尺寸。但是如果没有函数依赖的知识,查询规划器将假定条件是独立的,导致对结果尺寸的低估。
要告知规划器有关函数依赖的信息,ANALYZE
可以收集跨列依赖的测度。评估所有列组之间的依赖程度可能会昂贵到不可实现,因此数据收集被限制为针对那些在一个统计信息对象中一起出现的列组(用dependencies
选项定义)。建议只对强相关的列组创建dependencies
统计信息,以避免ANALYZE
以及后期查询规划中不必要的开销。
这里是一个收集函数依赖统计信息的例子:
CREATE STATISTICS stts (dependencies) ON zip, city FROM zipcodes; ANALYZE zipcodes; SELECT stxname, stxkeys, stxdependencies FROM pg_statistic_ext WHERE stxname = 'stts'; stxname | stxkeys | stxdependencies ---------+---------+------------------------------------------ stts | 1 5 | {"1 => 5": 1.000000, "5 => 1": 0.423130} (1 row)
这里可以看到列1(邮编)完全决定列5(城市),因此系数为1.0,而城市仅决定42%的邮编,意味着有很多城市(58%)有多个邮编。
在为涉及函数依赖列的查询计算选择度时,规划器会使用依赖系数来调整针对条件的选择度估计,这样就不会产生低估。
当前只有在考虑简单等值条件(将列与常量值比较)时,函数依赖才适用。不会使用它们来改进比较两个列或者比较列和表达式的等值条件的估计,也不会用它们来改进范围子句、LIKE
或者任何其他类型的条件。
在用函数依赖估计时,规划器假定在涉及的列上的条件是兼容的并且因此是冗余的。如果它们是不兼容的,正确的估计将是零行,但是那种可能性不会被考虑。例如,给定一个这样的查询
SELECT * FROM zipcodes WHERE city = 'San Francisco' AND zip = '94105';
规划器将会忽视city
子句,因为它不改变选择度,这是正确的。不过,即便真地只有零行满足下面的查询,规划器也会做出同样的假设
SELECT * FROM zipcodes WHERE city = 'San Francisco' AND zip = '90210';
不过,函数依赖统计信息无法提供足够的信息来排除这种情况。
在很多实际情况中,这种假设通常是能满足的。例如,在应用程序中可能有一个GUI仅允许选择兼容的城市和邮编值用在查询中。但是如果不是这样,函数依赖可能就不是一个可行的选项。
单列统计信息存储每一列中可区分值的数量。在组合多个列(例如GROUP BY a, b
)时,如果规划器只有单列统计数据,则对可区分值数量的估计常常会错误,导致选择不好的计划。
为了改进这种估计,ANALYZE
可以为列组收集可区分值统计信息。和以前一样,为每一种可能的列组合做这件事情是不切实际的,因此只会为一起出现在一个统计信息对象(用ndistinct
选项定义)中的列组收集数据。将会为列组中列出的列的每一种可能的组合都收集数据。
继续之前的例子,ZIP代码表中的可区分值计数可能像这样:
CREATE STATISTICS stts2 (ndistinct) ON zip, state, city FROM zipcodes; ANALYZE zipcodes; SELECT stxkeys AS k, stxndistinct AS nd FROM pg_statistic_ext WHERE stxname = 'stts2'; -[ RECORD 1 ]-------------------------------------------------------- k | 1 2 5 nd | {"1, 2": 33178, "1, 5": 33178, "2, 5": 27435, "1, 2, 5": 33178} (1 row)
这表示有三种列组合有33178个可区分值:ZIP代码和州、ZIP代码和城市、ZIP代码+城市+周(事实上对于表中给定的一个唯一的ZIP代码,它们本来就应该是相等的)。另一方面,城市和州的组合只有27435个可区分值。
建议只对实际用于分组的列组合以及分组数错误估计导致了糟糕计划的列组合创建ndistinct
统计信息对象。否则,ANALYZE
循环只会被浪费。