NOT IN and NULLs Step by Step

A compact NOT IN book for readers who need exact finite SQL NULL behavior: input rows, literal and subquery-result candidate lists, TRUE/FALSE/UNKNOWN membership, NULL candidates making non-matches UNKNOWN, WHERE keeping TRUE only, a scoped NOT EXISTS contrast, and guarded expected facts.