If a GROUP BY clause includes all columns of a unique index, as well as other columns of the same table, those other columns are redundant and can be dropped
from the grouping. This was already true for non-deferred primary keys.
</para>
</listitem>
<!--
<!--
Author: Richard Guo <rguo@postgresql.org>
Author: Richard Guo <rguo@postgresql.org>
2024-10-09 [67a54b9e8] Allow pushdown of HAVING clauses with grouping sets
2024-10-09 [67a54b9e8] Allow pushdown of HAVING clauses with grouping sets