Hi Erwin,

That’s an excellent question.

The problem is how do you define equality of tuples. There are two possible interpretations. First is equality by order (or position), which means if you union two relations, [{A: a1, B: b1}] and [{B:b1, A:a1}], then you get [{A: a1, B:b1}, {A:b1, B:a1}], you…

Introducing Cosette

Today we are thrilled to announce our official 1.0 release of Cosette, a SQL solver for automatically checking semantic…