[SQLite] optimizacija poizvedbe

Zanima me če se da spodnjo poizvedbo še kaj optimizirati?
Se pravi vrniti mora čas ki je manjši ali enak ?. V primeru da obstajajo samo časi večji od ? pa vrne najmanjšega.

select max(time) as time from names where time <= ?
union
select min(time) from names ORDER BY time DESC LIMIT 1

Online demo

Ali imaš tako verzijo da ti podpira WITH stavke. Če imaš bi jest tkole nekak napisu:

with x as
 (select max(time) as time from names where time <= 0)
select case
         when x.time is not null then
          x.time
         else
          (select min(time) from names)
       end
  from x