Re: [COMMITTERS] pgsql: WITH CHECK OPTION support for auto-updatable VIEWs

On Mon, Jul 29, 2013 at 07:43:53PM -0400, Stephen Frost wrote:
> depesz,
>
> moved to -hackers..
>
> * hubert depesz lubaczewski (depesz(at)depesz(dot)com) wrote:
> > create table some_data (id int4 primary key, payload text);
> > create view first as select * from some_data where 0 = id % 2 with local check option;
> > create view second as select * from first where 0 = id with local check option;
> >
> > insert into second (id, payload) values (15, '15 is divisible by 3, but not by 2');
> > ERROR: new row violates WITH CHECK OPTION for view "first"
> > DETAIL: Failing row contains (15, 15 is divisible by 3, but not by 2).
>
> Interesting.
>
> > If I read it correctly, insert to "second" with id = 15 should work,
> > because the where on "second" matches, and local check shouldn't be
> > checking on "first"?
>
> I think you're half-right, the check should be against 'second', which
> should fail because of the '0 = id' check in that view, but we're
> reporting the failure as being associated with 'first', which I don't
> believe is correct. Dean, thoughts..?

the check is "0 = id % 3" - i.e. id has to be multiply of 3. Sorry if my
way of writing conditionals is confusing.

Best regards,

depesz

--
The best thing about modern society is how easy it is to avoid contact with it.
http://depesz.com/