ho un array tipo questo

pippo
pippo
pluto
pippo

vorrei avere i valori solo una volta come distinct in mysql esiste una funzione?