我试图向自己证明内部联接的顺序并不重要，但是，从抽象的意义上来说，我什么也没想到。
如何证明一组 INNER JOIN 的执行顺序（将多个表转换为单个表）不会影响结果集（即证明 INNER JOIN 操作的交换性和关联性）？
join relational-theory relations relational-algebra
join ×1
relational-algebra ×1
relational-theory ×1
relations ×1