The Anti-join Composition and Polyhedra