SQL格式化压缩工具