Um órgão público mantém um banco de dados relacional
para controle de contratos administrativos, estruturado
nas seguintes tabelas simplificadas: SERVIDOR
(id_servidor, nome, lotacao), CONTRATO (id_contrato,
id_servidor, valor, data_inicio, data_fim) e PAGAMENTO
(id_pagamento, id_contrato, valor_pago,
data_pagamento). Cada contrato vincula-se a um único servidor e pode registrar múltiplos pagamentos.
Deseja-se identificar os servidores cuja soma dos valores
pagos no ano de 2025 ultrapassou R$ 100.000,00,
considerando apenas contratos que permaneçam
vigentes em 31/12/2025. A consulta deve retornar o
nome do servidor e o total pago no período, sem incluir
servidores que não tenham recebido pagamentos em
2025. Assinale a alternativa CORRETA que atende
adequadamente ao enunciado: