5 ms·
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
by wbadart 19d 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/topics/relational-logic/index.html#composition https://practicalalloy.github.io/chapters/structural-topics/...
- remywang 19d agoThey are exactly the same!
- wbadart 19d agoCool! 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 19d agoThanks! Alloy is also based on TAR, they just call it the more common name of relation algebra (not relational).