Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Atualizar o registro da alocação orçamentária do departamento de 'Obras Públicas' para o ano de 2023 para diminuí-lo em 5%
 ###Tabelas: 
CREATE TABLE budget_allocation (department TEXT, year INT, allocation DECIMAL(10,2));
UPDATE budget_allocation SET allocation = allocation * 0.95 WHERE department = 'Public Works' AND year = 2023;