Design a Hotel Booking System (like Booking.com) — inventory and double-booking prevention.

The inventory-and-double-booking problem: how room availability is modeled and queried efficiently across date ranges, how concurrent bookings are prevented from double-booking the same room (locking vs optimistic concurrency), and how the booking and payment are completed as one consistent operation rather than two independently-failable steps.