Hacker News Reader

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/...

View on HN

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).

Reply on news.ycombinator.com