Semi Joins Step by Step

A compact semi-join book for readers who need exact finite existence behavior: left/right inputs, candidate pairs, one existence flag per left row, kept-left output rows, duplicate right matches not multiplying left rows, no-match rows dropped, NULL key boundaries, anti-semi NOT EXISTS contrast, and guarded expected facts.