No contexto de transações em um banco de dados, o conceito a seguir que garante que as transações não sobrescrevem os dados de outras transações rodando concorrentemente é: