Example - Restock
•Input validation
–Valid product, store, qty
–Amount of product in warehouse >= qty
•UPDATE Product
•      SET WarehouseQty = WarehouseQty - :qty
•      WHERE prodID = :product
•If no record yet for product in store
•      INSERT INTO InStore (:product, :store, :qty)
•Else, UPDATE InStore
•              SET qty = qty + :qty
•              WHERE prodID = :product and storeID = :store
•COMMIT