Comment by wbadart
8 hours ago
The core relation composition operator reminds me of Alloy's dot-join operator [1]. Wondering if anyone can comment on the differences, theoretical or practical?
[1]: https://practicalalloy.github.io/chapters/structural-topics/...
They are exactly the same!
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).