Arrotondare per multipli di 0,5

[Carlo1986]

Come da titolo vorrei arrotondare i valori ottenuti da una query in MySQL per multipli di 0,5.

Ad esempio:
12.1 --> 12.0
12.2 --> 12.0
12.3 --> 12.5
12.4 --> 12.5
12.8 --> 13.0

come posso fare?

[optime]

direttamente nella query o quando esponi i risultati a video?

[Carlo1986]

direttamente nella query

[optime]

c'è la funzione ROUND() https://dev.mysql.com/doc/refman/5.7...function_round

provala e facce sape'

[Carlo1986]

c'è la funzione ROUND() https://dev.mysql.com/doc/refman/5.7...function_round

provala e facce sape'

Grazie per il suggerimento, ma ROUND() approssima la cifra alla decina più vicina, esempio ROUND(12.3, 1) --> 12.3 mentre a me servirebbe approssimare i decimali per multipli di 0,5 quindi nel mio caso 12.3 dovrebbe diventare 12.5

[Carlo1986]

Ho trovato una soluzione matematica, basta dividere il numero per 0,5 poi arrotondo ed infine moltiplico il risultato nuovamente per 0,5.

Su Mysql: SELECT ROUND(12.3/0.5)*0.5 FROM mia_tabella WHERE 1

[optime]

optime!