Re: Functional dependencies and GROUP BY

On sön, 2010-09-05 at 11:35 -0400, Tom Lane wrote:
> Dean Rasheed <dean(dot)a(dot)rasheed(at)gmail(dot)com> writes:
> > On 5 September 2010 16:15, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> >> I don't recall having thought about it one way or the other. What did
> >> the check look like?
>
> > Well originally it was searching indexes rather than constraints, and
> > funcdeps_check_pk() included the following check:
>
> > if (!indexStruct->indisprimary || !indexStruct->indimmediate)
> > continue;
>
> > Now its looping over pg_constraint entries, so I guess anything wtih
> > con->condeferrable == true should be ignored.
>
> Seems reasonable, will fix. Thanks for the report!

Yes, the SQL standard explicitly requires the constraint in question to
be immediate.