TY - RPRT TI - The equational theory of the natural join and inner union is decidable AU - Luigi Santocanale PY - 2017 UR - https://arxiv.org/abs/1710.11500 ID - 1710.11500 ER -