Conforme a teoria de controle de concorrência em bancos de dados, uma transação pode ser considerada correta se atender a regra áurea. Conforme tal regra, não deve ser permitida nenhuma operação de atualização que deixe qualquer variável de relação em um estado que viole seu próprio predicado.

Das opções a seguir, assinale aquela que NÃO aponta um problema de transação.