将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

---

背景

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

Can PostgreSQL index array columns?

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

  

例如，PostgreSQL的标准发行版包括GIN   一维数组的运算符类，支持索引   使用这些运算符的查询：＆lt; @，@＆gt;，=，＆amp;＆amp;

Answer 1

您可以在函数上创建一个索引，该索引将列的边界作为int4范围返回：

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)