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: Atualize a tabela "AlocaçõesOrçamentárias" para refletir uma diminuição no financiamento para a política especificada.
 ###Tabelas: 
CREATE TABLE BudgetAllocations (ID INT, Policy TEXT, FiscalYear INT, Amount DECIMAL(10,2)); CREATE TABLE Policy (ID INT, Policy TEXT, Description TEXT); INSERT INTO Policy (ID, Policy, Description) VALUES (1001, 'Community Policing', 'Engage community members in public safety');
WITH updated_allocation AS (UPDATE BudgetAllocations SET Amount = Amount - 5000 WHERE Policy = 'Community Policing' AND FiscalYear = 2023 RETURNING ID, Policy, Amount) SELECT * FROM updated_allocation;