O que realiza uma procedure que verifica se uma linha existe e, se existir, atualiza um campo numérico e incrementa um contador?

Resposta

Atualiza o valor do campo e incrementa o contador de alterações.

Verificação: o SELECT TRUE INTO testa se a linha existe e define a variável booleana.
Atualização: o UPDATE altera o campo e faz qtd-alteracoes = qtd-alteracoes + 1.
Escopo: a cláusula WHERE com a chave primária limita a alteração a uma única linha.
Persistência: o COMMIT grava definitivamente a mudança.