Update not working for private relvar
Posted: Mon Jul 04, 2011 5:50 pm
// This works when executed in the DBrowser
var ok real relation { a integer, b integer } init (relation {tuple { a 1, b 1 }}) key { a };
update ok where a = 1 ( b := 2 );
// This doesn't
var notok private relation { a integer, b integer } init (relation {tuple { a 1, b 1 }}) key { a };
update notok where a = 1 ( b := 2 );
var ok real relation { a integer, b integer } init (relation {tuple { a 1, b 1 }}) key { a };
update ok where a = 1 ( b := 2 );
// This doesn't
var notok private relation { a integer, b integer } init (relation {tuple { a 1, b 1 }}) key { a };
update notok where a = 1 ( b := 2 );