Alvaro Herrera <alvherre(at)commandprompt(dot)com> writes:
> Guillaume Smet escribi:
>> Is it normal I have no recheck cond and the index cond of Bitmap Index
>> Scan is in the filter? Is it also a consequence of the code you
>> pointed?
> It is in the filter, is it not? Having a recheck would be redundant.
Yeah, but his question is why is it in the filter? I think that the
answer is probably "because the index is lossy for this operator,
so it has to be checked even if the bitmap didn't become lossy".
You'd have to check the GIST opclass definition to be sure.
regards, tom lane