My dad used to work for Terradata. He has a patent for “Method and system for transforming multiple alternative equality conditions” i.e. rewrite (1,2,3,4) as (1-4).