Implemented SQL∆WithTransaction