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?

It seems like I should be able to do something like this:

With the following relvar:

But I just get an error: "ERROR: Expected a relation-valued variable in UPDATE ... WHERE"

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};`

What should I be trying?

In principle, the following should work:

However, it has a bug! You'll probably get something like the following:

ERROR: '%tuple32' has not been defined.

I'll work on fixing this.

Code: Select all

`update x where a = 1 ( b := update (b) ( c := 33 ) );`

ERROR: '%tuple32' has not been defined.

I'll work on fixing this.