Um Analista de Sistemas precisa criar uma stored procedure que automatize o processo de um novo funcionário na tabela Funcionario. O procedimento deve receber os parâmetros @nome, @cpf, @data_nascimento e @salario. Se o salário fornecido for menos que R$ 2000,00, a transação deve ser abortada e uma mensagem de erro deve ser retornada. Assinale a alternativa que apresenta a estrutura de programação procedimental mais adequada para essa validação.