索引 postgresql 数组列以进行大于/小于比较？

Question

我可以在 Postgresq 9.1 中索引数组列以支持：

select * from t where 100 < any(a) and 100 > any(a)

其中a是一个整数数组（其中的行具有一些值，例如{90,110}，因此查询不会返回空。）

---

细节

create table t ( a integer[] )
insert into t values ('{90,110}'::integer[])

运行explain analyze上面的查询会产生：

Seq Scan on t  (cost=0.00..1.07 rows=2 width=32) (actual time=0.009..0.009 rows=1 loops=1)
  Filter: ((100 < ANY (a)) AND (100 > ANY (a)))
Total runtime: 0.023 ms

---

背景

以下问题描述了一种方法，但似乎不适用于非固定长度数组：

PostgreSQL 可以索引数组列吗？

Postgres文档描述了内置的 GIN 运算符，但它们似乎不支持大于/小于操作：

例如，PostgreSQL 的标准发行版包含一维数组的 GIN 运算符类，它支持使用这些运算符的索引查询：<@、@>、=、&&

Answer 1

您可以在函数上创建索引，该函数将列的边界返回为 int4range：

create or replace function intarray2int4range(arr int[]) returns int4range as $$
  select int4range(min(val), max(val) + 1) from unnest(arr) as val;
$$ language sql immutable;

例子：

create table t (a int[]);
insert into t
select array[i - j % 5, i - j % 3, i, i + j % 3, i + j % 5]
from generate_series(0,1000) i, generate_series(0,100) j;
create index on t using gist(a);
vacuum analyze t;

产量：

explain analyze select * from t where 20 <@ intarray2int4range(a) limit 5;
                                                               QUERY PLAN                                                               
----------------------------------------------------------------------------------------------------------------------------------------
 Limit  (cost=0.53..16.55 rows=5 width=41) (actual time=0.056..0.060 rows=5 loops=1)
   ->  Index Scan using t_intarray2int4range_idx on t  (cost=0.53..1669.65 rows=521 width=41) (actual time=0.055..0.058 rows=5 loops=1)
         Index Cond: (20 <@ intarray2int4range(a))
 Total runtime: 0.095 ms
(4 rows)

它还允许您运行类似的查询来扫描值范围：

explain analyze select * from t where '[20,30]'::int4range && intarray2int4range(a) limit 5;
                                                               QUERY PLAN                                                                
-----------------------------------------------------------------------------------------------------------------------------------------
 Limit  (cost=0.53..11.82 rows=5 width=41) (actual time=0.125..0.130 rows=5 loops=1)
   ->  Index Scan using t_intarray2int4range_idx on t  (cost=0.53..3499.66 rows=1550 width=41) (actual time=0.123..0.126 rows=5 loops=1)
         Index Cond: ('[20,31)'::int4range && intarray2int4range(a))
 Total runtime: 0.169 ms
(4 rows)