← Back to context Comment by remywang 10 hours ago They are exactly the same! 2 comments remywang Reply wbadart 10 hours ago 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!) remywang 9 hours ago Thanks! Alloy is also based on TAR, they just call it the more common name of relation algebra (not relational).
wbadart 10 hours ago 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!) remywang 9 hours ago Thanks! Alloy is also based on TAR, they just call it the more common name of relation algebra (not relational).
remywang 9 hours ago Thanks! Alloy is also based on TAR, they just call it the more common name of relation algebra (not relational).
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).