Fix some planner bugs exposed by reports from Arjen van der Meijden. These
authorTom Lane <[email protected]>
Fri, 15 Dec 2006 18:42:26 +0000 (18:42 +0000)
committerTom Lane <[email protected]>
Fri, 15 Dec 2006 18:42:26 +0000 (18:42 +0000)
commit281f40187f866f0346ba19ccf033afccf0410d45
tree072f02ef992492d66ac695062f8bc049346af04c
parent782d68e38dff6059288793756d97ccdeff804618
Fix some planner bugs exposed by reports from Arjen van der Meijden.  These
are all in new-in-8.2 logic associated with indexability of ScalarArrayOpExpr
(IN-clauses) or amortization of indexscan costs across repeated indexscans
on the inside of a nestloop.  In particular:

Fix some logic errors in the estimation for multiple scans induced by a
ScalarArrayOpExpr indexqual.

Include a small cost component in bitmap index scans to reflect the costs of
manipulating the bitmap itself; this is mainly to prevent a bitmap scan from
appearing to have the same cost as a plain indexscan for fetching a single
tuple.

Also add a per-index-scan-startup CPU cost component; while prior releases
were clearly too pessimistic about the cost of repeated indexscans, the
original 8.2 coding allowed the cost of an indexscan to effectively go to zero
if repeated often enough, which is overly optimistic.

Pay some attention to index correlation when estimating costs for a nestloop
inner indexscan: this is significant when the plan fetches multiple heap
tuples per iteration, since high correlation means those tuples are probably
on the same or adjacent heap pages.
src/backend/optimizer/path/costsize.c
src/backend/utils/adt/selfuncs.c