Something
public text v1 · immutableSELECT RoomNum
FROM Room
WHERE NOT EXISTS(SELECT 1 FROM Booking,BookingDetails
WHERE Booking.BID=BookingDetails.BID and BookingDetails.RoomNum = Room.RoomNum AND CURRENT_DATE BETWEEN Booking.ArrivalDate AND Booking.DepartDate);