Includes an explanation of exclusion constraints. These let you enforce things like "no overlapping reservations of the same property" without race conditions, similar to a unique constraint.