By using db<>fiddle, you agree to license everything you submit by Creative Commons CC0.
CREATE TABLE
INSERT 0 10000
CREATE INDEX
VACUUM
| QUERY PLAN |
|---|
| Index Only Scan using demo_idx on public.demo (cost=0.29..4.30 rows=1 width=8) |
| Output: id |
| Index Cond: (demo.value = 42) |
EXPLAIN