tipo di dato decimal

[piero.mac]

basterebbe fare:

$result = mysql_query("update prodotti set
                              prezzo2 = replace(prezzo, ',' ,  '.')", $db);