3 ms·
> The lambda terms introduce local binding which throws off an algebraic representation. Doesn't rho for renaming in relational algebra also have local binding
by 0xdeadbeefbabe 10y ago
> The lambda terms introduce local binding which throws off an algebraic representation.
Doesn't rho for renaming in relational algebra also have local binding?
It's good to know the reasons are historical though.
- tel 10y agoCould be that the relational algebra isn't so much an algebra either. Also could be that the renaming isn't really part of the "core" algebra. I'm not in particular familiar with the relational algebra, though.