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: Qual é a contagem de alunos em 'Primavera 2023' por distrito escolar?
 ###Tabelas: 
CREATE TABLE student_enrollment (student_id INT, school_district VARCHAR(255), date DATE); INSERT INTO student_enrollment (student_id, school_district, date) VALUES (1, 'XYZ School District', '2023-03-01'); CREATE VIEW spring_2023_enrollment AS SELECT * FROM student_enrollment WHERE date BETWEEN '2023-01-01' AND '2023-06-30';
SELECT COUNT(*) as total_students, school_district FROM spring_2023_enrollment GROUP BY school_district;