Using FORMAT_DATE in BigQuery

The code we write daily as Data Engineers is not necessarily complicated.

We're solving a lot of problems like the following:

Given a schedule per day of the week (Monday hours are 10:00 - 22:00 / 10 am - 10 pm), find out what was the schedule for a list of calendar days.

Here's how a BigQuery solution could look like:
- using FORMAT_DATE we can extract the abbreviated week day (%a in the list of format elements for date and time parts, attached in comments)
- transform that match casing of the joined column
- (INNER) JOIN

How would your solution to such a problem look like?

WITH schedule AS (
  SELECT 'MON' AS day, TIME '10:00:00' AS opening_time, TIME '22:00:00' AS closing_time
    UNION ALL
  SELECT 'TUE' AS day, TIME '10:00:00' AS opening_time, TIME '22:00:00' AS closing_time
    UNION ALL
  SELECT 'WED' AS day, TIME '10:00:00' AS opening_time, TIME '22:00:00' AS closing_time
    UNION ALL
  SELECT 'THU' AS day, TIME '10:00:00' AS opening_time, TIME '22:00:00' AS closing_time
    UNION ALL
  SELECT 'FRI' AS day, TIME '10:00:00' AS opening_time, TIME '22:00:00' AS closing_time
    UNION ALL
  SELECT 'SAT' AS day, TIME '11:00:00' AS opening_time, TIME '20:00:00' AS closing_time
    UNION ALL
  SELECT 'SUN' AS day, TIME '11:00:00' AS opening_time, TIME '16:00:00' AS closing_time
),
dates AS (
  SELECT calendar_date FROM UNNEST(GENERATE_DATE_ARRAY(DATE '2023-04-01', DATE '2023-04-30')) AS calendar_date
)
SELECT
  calendar_date,
  FORMAT_DATE('%a', d.calendar_date) AS day_of_week,
  s.day,
  s.opening_time,
  s.closing_time
FROM dates d
JOIN schedule s ON UPPER(FORMAT_DATE('%a', d.calendar_date)) = s.day