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