基于检查约束的分区修剪未按预期工作

Question

为什么下面的查询计划中包含表“events_201504”？根据我的查询和该表上的检查约束，我希望查询规划器能够完全修剪它：

database=# \d events_201504
                                   Table "public.events_201504"
    Column     |            Type             |                           Modifiers
---------------+-----------------------------+---------------------------------------------------------------
 id            | bigint                      | not null default nextval('events_id_seq'::regclass)
 created_at    | timestamp without time zone |
Indexes:
    "events_201504_pkey" PRIMARY KEY, btree (id)
    "events_201504_created_at" btree (created_at)
Check constraints:
    "events_201504_created_at_check" CHECK (created_at >= '2015-04-01 00:00:00'::timestamp without time zone AND created_at <= '2015-04-30 23:59:59.999999'::timestamp without time zone)
Inherits: events

时间及配置：

database=# select now();
              now
-------------------------------
 2015-05-25 16:49:20.037815-05

database=# show constraint_exclusion;
 constraint_exclusion
----------------------
 on

查询计划：

database=# explain select count(1) from events where created_at > now() - '1 hour'::interval;
                                                                QUERY PLAN
------------------------------------------------------------------------------------------------------------------------------------------
 Aggregate  (cost=3479.86..3479.87 rows=1 width=0)
   ->  Append  (cost=0.00..3327.90 rows=60784 width=0)
         ->  Seq Scan on events  (cost=0.00..0.00 rows=1 width=0)
               Filter: (created_at > (now() - '01:00:00'::interval))
         ->  Index Only Scan using events_201504_created_at on events_201504  (cost=0.57..4.59 rows=1 width=0)
               Index Cond: (created_at > (now() - '01:00:00'::interval))
         ->  Index Only Scan using events_201505_created_at on events_201505  (cost=0.57..3245.29 rows=60765 width=0)
               Index Cond: (created_at > (now() - '01:00:00'::interval))

Answer 1

您的专栏

created_at

属于类型

timestamp without time zone

。

但是

now()

返回

timestamp with time zone

。表达式

now() - '1 hour'::interval

被强制转换为

timestamp [without time zone]

，这带来了 两个问题：

1. 你没有要求这个，但表达方式不可靠。其结果取决于当前会话的

timezone

设置。参见：

• 忽略 Postgres 时间戳的时区

为了让表达更清楚，你可以使用：

now() AT TIME ZONE 'Europe/London' -- your time zone here

或者只是（请阅读此处的手册）：

LOCALTIMESTAMP  -- explicitly take the local time

我会考虑与

timestamptz

合作。
都不能解决你的第二个问题：

2。回答你的问题。 约束排除不起作用。 说明书：

以下注意事项适用于约束排除：

• [...]
• 约束排除仅在查询的

  WHERE

  子句包含常量（或外部提供的参数）时才起作用。例如，一个 与 non-immutable 函数比较，例如

  CURRENT_TIMESTAMP

  无法优化，因为规划者无法知道 函数值在运行时可能落入哪个分区。

我的粗体强调。

now()

是

CURRENT_TIMESTAMP

的 Postgres 实现。在系统目录中可以看到，只是

STABLE

，不是

IMMUTABLE

:

SELECT proname, provolatile FROM pg_proc WHERE proname = 'now';

proname | provolatile
--------+------------
now     | s              -- meaning: STABLE

解决方案

1. 您可以通过在

WHERE

条件下提供常量（始终“不可变”）来克服限制：

SELECT count(*) FROM events
WHERE created_at > '2015-05-25 15:49:20.037815'::timestamp;  -- from your example

2. 或者通过“伪造”一个不可变的函数：

CREATE FUNCTION f_now_immutable()
  RETURNS timestamp
  LANGUAGE sql IMMUTABLE AS
$func$
SELECT now() AT TIME ZONE 'UTC';  -- your time zone here
$func$;

然后：

SELECT count(*) FROM events
WHERE created_at > f_now_immutable() - interval '1 hour';

但要小心如何使用它：虽然

now()

是

STABLE

（在事务期间不会改变），但它确实在事务之间发生变化，所以请注意不要在准备好的语句中使用它（除非参数值）或索引或任何可能会咬你的地方。

3. 或者，您可以向当前查询添加看似冗余的常量

WHERE

子句，以匹配分区上的约束：

选择计数(*)
来自事件
WHERE create_at > now() - '1 小时'::间隔
AND 创建时间 >= '2015-04-01 00:00:00'::时间戳
并创建于 <= '2015-04-30 23:59:59.999999'::timestamp；

只要确保自己

now() - '1 hour'::interval

落入正确的分区，否则显然你不会得到任何结果。

旁白：我宁愿在

CHECK

约束和查询中使用这个表达式。更容易处理并且做同样的事情：

       created_at >= '2015-04-01'::timestamp
AND    created_at <  '2015-05-01'::timestamp