Re: [HACKERS] foreign-key inference & join removal

2009-10-19 Thread Robert Haas
On Mon, Oct 19, 2009 at 8:54 AM, Alex Brasetvik wrote: > > On Oct 19, 2009, at 03:44 , Robert Haas wrote: > >> Suppose we define a new join type called "inner_or_left_join".  This >> means that we've proven that every outer row has at least one join >> partner, so that we'll get the same results w

Re: [HACKERS] foreign-key inference & join removal

2009-10-19 Thread Alex Brasetvik
On Oct 19, 2009, at 03:44 , Robert Haas wrote: Suppose we define a new join type called "inner_or_left_join". This means that we've proven that every outer row has at least one join partner, so that we'll get the same results whichever way we implement it. We can prove this for either inner j

[HACKERS] foreign-key inference & join removal

2009-10-18 Thread Robert Haas
On Thu, Sep 17, 2009 at 5:14 PM, I wrote: > I think that the next project in this area should > be to try to support removal of INNER joins.  (Removal of SEMI, ANTI, > and FULL joins seems unlikely ever to be interesting.)  That will > require teaching the planner about foreign key constraints, whi