CREATE INDEX execution_time_start_idx ON public.execution (time_start);