mysql UDF example update