"" <agattik@gmail.com> writes:
> Bitmap Heap Scan on tpoints (cost=1.05..10.46 rows=10 width=8)
> Recheck Cond: ('(1,1),(0,0)'::box && box(point((x)::double precision,
> (y)::double precision), point((x)::double precision, (y)::double
> precision)))
> -> Bitmap Index Scan on i_tpoints (cost=0.00..1.05 rows=10 width=0)
> Index Cond: ('(1,1),(0,0)'::box && box(point((x)::double precision,
> (y)::double precision), point((x)::double precision, (y)::double
> precision)))
> (4 rows)
> The RECHECK is necessary in case of polygons, but useless in case of box
> overlap.
You don't understand what a bitmap scan's recheck condition is for.
The above plan is correct.
regards, tom lane