Computational theory for the join