这个SQL里的函数是mysql函数还是php函数,函数意思是,该怎么处理

这个SQL里的函数是mysql函数还是php函数,函数意思是
mysql_query("UPDATE `users` SET `jifen`= round(`jifen`+(`percent`/100),1) WHERE user='$inuser'");这个SQL里的函数是mysql函数还是php函数,函数意思是什么

------解决方案--------------------
mysql的取整函数，一个参数时round(x) 返回x最近似整数，两个参数时round(x,y) 返回保留x小数点后y位的数值