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