Code: Select all
update x where a = 1 ( update b (c := 33) );
Code: Select all
var x private relation { a integer, b relation { c integer }} init ( relation {tuple {a 1, b relation {tuple {c 2}}}}) key {a};
What should I be trying?
Code: Select all
update x where a = 1 ( update b (c := 33) );
Code: Select all
var x private relation { a integer, b relation { c integer }} init ( relation {tuple {a 1, b relation {tuple {c 2}}}}) key {a};
Code: Select all
update x where a = 1 ( b := update (b) ( c := 33 ) );