relational-algebra Definition Semi Join (Relational Algebra) A semi join finds all tuples in a relation for which there are matching tuples in the other relation.