Comment by remywang

8 hours ago

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

0 comments