Cool! That's both unsurprising, given the apparent similarities, but also a little surprising, since Alloy is built on relational algebra, which you're very careful to distinguish from TAR in your paper. (Great read, btw!)

Thanks! Alloy is also based on TAR, they just call it the more common name of relation algebra (not relational).