Case study: hotel search & reservation

Select a stay on a room-type × night grid and watch the GROUP BY … HAVING MIN(available) logic reject any range with even one sold-out night.

AND together per-night city bitmaps for a stay, then switch to a segment tree for long stays and compare the operation counts.

Search shows a room as available that was just sold, and the booking-time recheck catches it.

Place a hold across several nights, let payment fail or the hold expire, and watch total/held/sold counters move and release.