1
1 call start
1 return
1 call addRooms xid "Stanford" 200 150
1 return true
1 call addCars xid "SFO" 300 30
1 return true
1 call commit xid
1 return true
1 call start
1 return
1 call deleteRooms xid "Stanford" 220
1 return false
1 call deleteCars xid "SFO" 330
1 return false
1 call commit xid
1 return true
1 call start
1 return
1 call queryRooms xid "Stanford"
1 return 200
1 call queryCars xid "SFO"
1 return 300
1 exit
