Comment by remywang

9 hours ago

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

0 comments