Consiste en los siguientes pasos para una transacción T: