the mysql's udf for redis