]> granicus.if.org Git - postgresql/commit
Avoid creation of useless EquivalenceClasses during planning.
authorTom Lane <tgl@sss.pgh.pa.us>
Fri, 29 Oct 2010 15:52:16 +0000 (11:52 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Fri, 29 Oct 2010 15:52:50 +0000 (11:52 -0400)
commit14231a41a94b2345cc679ff67dbee1bf7dac7029
tree5ca545d4c3b075fe0b275f99a83a0118bf7a2433
parentf184de351d6a35355aa8f1c1b655c3f6a5087205
Avoid creation of useless EquivalenceClasses during planning.

Zoltan Boszormenyi exhibited a test case in which planning time was
dominated by construction of EquivalenceClasses and PathKeys that had no
actual relevance to the query (and in fact got discarded immediately).
This happened because we generated PathKeys describing the sort ordering of
every index on every table in the query, and only after that checked to see
if the sort ordering was relevant.  The EC/PK construction code is O(N^2)
in the number of ECs, which is all right for the intended number of such
objects, but it gets out of hand if there are ECs for lots of irrelevant
indexes.

To fix, twiddle the handling of mergeclauses a little bit to ensure that
every interesting EC is created before we begin path generation.  (This
doesn't cost anything --- in fact I think it's a bit cheaper than before
--- since we always eventually created those ECs anyway.)  Then, if an
index column can't be found in any pre-existing EC, we know that that sort
ordering is irrelevant for the query.  Instead of creating a useless EC,
we can just not build a pathkey for the index column in the first place.
The index will still be considered if it's useful for non-order-related
reasons, but we will think of its output as unsorted.
src/backend/optimizer/README
src/backend/optimizer/path/equivclass.c
src/backend/optimizer/path/joinpath.c
src/backend/optimizer/path/pathkeys.c
src/backend/optimizer/plan/initsplan.c
src/include/optimizer/paths.h