I just realized that the patch I applied here
for Taiki Yamaguchi's bug report here
really doesn't work. It assumes that an ungrouped aggregate
query can't return more than one row, which is true in straight
SQL ... but it's not true if you consider SRFs in the target list.
CVS HEAD gives the wrong answer for this example in the regression
regression=# select max(unique1), generate_series(1,3) as g from tenk1 order by g desc;
max | g
9999 | 1
9999 | 2
9999 | 3
because it wrongly supposes it can discard the ORDER BY.
So, back to the drawing board. I had thought of two approaches to
fixing the problem instead of just dodging it. Plan A was to
apply planagg.c's Aggref->Param substitution inside EquivalenceClasses,
as in the draft patch here:
which I didn't entirely like for reasons mentioned in that post.
Plan B was to try to revert to the way sort clause matching was
done pre-8.3, that is have make_sort_from_pathkeys check first
for a matching ressortgroupref tag before it goes looking for equal()
expressions. I had actually tried to do that first but got hung
up on the problem of identifying the correct sort operator ---
just taking the exposed type of the targetlist entry doesn't always
work, because of binary-compatible cases (eg, tlist entry may say
it yields varchar but we need to find the text opclass). Perhaps
thinking a bit harder would yield a solution though.
Does anyone have comments for or against either of these approaches,
or perhaps a Plan C to consider?
regards, tom lane
pgsql-hackers by date
|Next:||From: Tom Lane||Date: 2008-03-29 01:28:53|
|Subject: Re: Third thoughts about the DISTINCT MAX() problem |
|Previous:||From: Bruce Momjian||Date: 2008-03-28 20:26:42|
|Subject: Re: [PATCHES] Implemented current_query|