如何通过MySQL查询获取文件的文件扩展名?