On Mon, Mar 13, 2023 at 5:03 PM Richard Guo <guofengli...@gmail.com> wrote:
> Back to the original issue, if a join has more than one quals, actually > we treat them as a whole when we check if identity 3 applies as well as > when we adjust them to be suitable for commutation according to identity > 3. So when we check if a qual is computable at a given level, I think > we should also consider the join's quals as a whole. I'm thinking that > we use a 'group' notion for RestrictInfos and then use the clause_relids > of the 'group' in clause_is_computable_at. Does this make sense? > I'm imagining something like attached (no comments and test cases yet). Thanks Richard
v1-0001-Draft-group-RestrictInfos.patch
Description: Binary data
