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