Many transactions in web applications are constructed ad hoc in the application code. For
example, developers might explicitly use locking primitives or validation procedures to …