relational-algebra Definition Left Semi Join (Relational Algebra) The left semi join R⋊S maps all tuples of R that could be joined with at least a tuple in S. The schema of sch(R⋊S)=sch(R).