Andre databaser (f.eks. MS SQL Server) lader dig ikke blande aggregerede værdier med ikke-aggregerede værdier, bare fordi du ville få det forkerte resultat.
Så hvis du vil have ikke-aggregerede værdier fra posten, hvor den maksimale værdi var, skal du slutte dig til tabellen igen:
select x.user, y.col1, y.col2, x.col3
from (
select user, max(col3) as col3
from table
group by user
) x
inner join table y on y.user = x.user and y.col3 = x.col3
order by x.user