Re: A problem about join ordering

2022-11-24 Thread Richard Guo
On Fri, Nov 11, 2022 at 11:24 PM Tom Lane wrote: > Richard Guo writes: > > I'm wondering whether we need to insist on being strict for the lower > > OJ's min_righthand. What if we instead check strictness for its whole > > syn_righthand? > > Surely not. What if the only point of strictness is

Re: A problem about join ordering

2022-11-14 Thread Richard Guo
On Fri, Nov 11, 2022 at 11:24 PM Tom Lane wrote: > Richard Guo writes: > > I'm wondering whether we need to insist on being strict for the lower > > OJ's min_righthand. What if we instead check strictness for its whole > > syn_righthand? > > Surely not. What if the only point of strictness is

Re: A problem about join ordering

2022-11-11 Thread Tom Lane
Richard Guo writes: > I'm wondering whether we need to insist on being strict for the lower > OJ's min_righthand. What if we instead check strictness for its whole > syn_righthand? Surely not. What if the only point of strictness is for a rel that isn't part of the min_righthand? Then we could

A problem about join ordering

2022-11-11 Thread Richard Guo
While reviewing the outer-join Vars patch, I encountered something confusing me which can also be seen on HEAD. According to outer join identity 3 (A leftjoin (B leftjoin C on (Pbc)) on (Pab)) left join D on (Pcd) should be equal to ((A leftjoin B on (Pab)) leftjoin C on (Pbc)) left join D on