Re: Eager aggregation, take 3

On Tue, Dec 17, 2024 at 12:42 PM Richard Guo <guofenglinux(at)gmail(dot)com> wrote:
> Attached is the patch rebased on the latest master. It refines the
> theoretical justification for the correctness of this transformation
> in README and commit message. It also adds the check for image
> equality for all grouping keys used in partial aggregation, and fixes
> the issue reported by Jian. It does not yet handle the RLS case
> though.

I've looked at the RLS case. AFAIU we want to prevent any
non-leakproof aggregation functions from being pushed down past
securityQuals. I added a check in create_agg_clause_infos to ensure
that no aggregation is pushed down if securityQuals are present along
with any non-leakproof aggregate functions. I know this might be
overly strict, but for now, I want to focus on the eager aggregation
transformation itself. We can relax this restriction in subsequent
patches after this already large one.

Attached is the latest patch, which also includes some cosmetic
tweaks. I am seeking the possibility of pushing this by the end of
January, so that I can have enough time to react to any bugs before
the feature freeze.

Thanks
Richard