पोस्टग्रेज के साथ अलग-अलग सरणी तत्व कैसे प्राप्त करें?

मुझे यह सिंटैक्स पसंद है (लगभग 5% तेज़)

create or replace function public.array_unique(arr anyarray)
returns anyarray as $body$
    select array( select distinct unnest($1) )
$body$ language 'sql';

का उपयोग करना:

select array_unique(ARRAY['1','2','3','4','4']);