Inserción de transacciones funcional