Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery | Synapse