SELECT SeatNumber
FROM FLIGHTS
WHERE FlightNumber=123 AND FlightDate='2015-05-11'
AND SeatStatus = 'available';
UPDATE FLIGHTS
SET SeatStatus = 'occupied'
WHERE FlightNumber=123 AND FlightDate='2015-05-11'
AND SeatNumber='22A';
T1 wants to transfer $150 from A1 to A2
T2 wants to transfer $250 from A2 to A3
A1 A2 A3
100 200 300
T2 Adds $250 to A3 (1) 100 200 550
T1 Adds $150 to A2 (1) 100 300 550
T2 Checks and Allows (2b) 100 50 550
T1 Checks and Fails (2a) 100 -200 550