Unique Constraints Step by Step

A compact UNIQUE-constraint book for readers who need exact finite key checks: one-column UNIQUE, duplicate non-NULL violations, an explicit NULL-does-not-collide toy convention, two-column UNIQUE tuples, wider keys, insert candidate accept/reject checks, and guarded expected facts.