3 ms·
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 car
by wbadart 1mo 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 1mo agoThanks! Alloy is also based on TAR, they just call it the more common name of relation algebra (not relational).