如何强制 PostgreSQL 删除语句使用唯一约束索引？

我有一个 PostgreSQL 表，它在 4 列上定义了一个唯一约束：

create table public.values (
  id bigint primary key generated always as identity,
  a smallint not null references .... (id),
  b smallint not null,
  c smallint not null,
  d int not null references .... (id),
  -- ... some other cols
  constraint unique_cols unique (a, b, c, d)
);

create index values_d on public.values using btree (dasc);

这张表有很多行（它是 +/- 400GB 并且每天增长 8GB）——我认为此时它大约有 25 亿行。我想删除通过 column 标识的行a，但除非我在 where 子句中指定b或指定，否则c查询计划表明将执行顺序扫描public.values。

即这个查询：

-- ... After running `analyze` on the tables that are used

explain delete from public.values where a = 2

显示查询计划（具有 60 个唯一a值）：

Delete on "values"  (cost=0.00..62375313.80 rows=0 width=0)
  ->  Seq Scan on "values"  (cost=0.00..62375313.80 rows=48160325 width=6)
        Filter: (a = 2)
JIT:
  Functions: 3
  Options: Inlining true, Optimization true, Expressions true, Deforming true

这对我来说毫无意义——我不明白为什么不使用唯一约束索引（我希望这个查询会删除 5000 万行）。

如果我将查询更新为指定b，那么我可以获得查询计划以指示将完成索引扫描：

explain delete from public.values where a = 2 and b = 1

显示此查询计划：

Delete on "values"  (cost=0.58..4845719.33 rows=0 width=0)
  ->  Index Scan using values_unique_cols on "values"  (cost=0.58..4845719.33 rows=1940861 width=6)
        Index Cond: ((a = 2) AND (b = 1))
JIT:
  Functions: 3
  Options: Inlining true, Optimization true, Expressions true, Deforming true

然后，如果我将删除查询b子句“where”条件更改为greater than条件：

explain delete from public.values where a = 2 and b >= 1

...回到顺序扫描。

但是再次更改子句：

explain delete from public.values where a = 2 and b  >= 7

并且计划更好（b lower than 6导致 seq 扫描 - b 是 1 到 20 之间的值）：

Delete on "values"  (cost=0.58..65344628.48 rows=0 width=0)
  ->  Index Scan using values_unique_cols on "values"  (cost=0.58..65344628.48 rows=36595426 width=6)
        Index Cond: ((a = 2) AND (b >= 7))
JIT:
  Functions: 3
  Options: Inlining true, Optimization true, Expressions true, Deforming true

如何强制 PostgreSQL 为特定操作使用索引，或者快速删除大量行？

我可以从应用程序多次运行查询，每次都使用一个新b值，但我更愿意进行一次数据库调用。

== 编辑

随后发布此问题，我在 上创建了一个索引a，并重新分析了该表。但是规划器仍然指示一个seq。扫描。