Hi,
On Sun, Feb 28, 2021 at 5:15 PM David Rowley wrote:
> On Sun, 28 Feb 2021 at 20:52, Richard Guo wrote:
> > When looking at [1], I realized we may have a side effect when removing
> > redundant columns in the GROUP BY clause. Suppose we have a query with
> > ORDER BY 'b', and meanwhile colum
On Sun, 28 Feb 2021 at 20:52, Richard Guo wrote:
> When looking at [1], I realized we may have a side effect when removing
> redundant columns in the GROUP BY clause. Suppose we have a query with
> ORDER BY 'b', and meanwhile column 'b' is also a group key. If we decide
> that 'b' is redundant due