服务器是运行在 MariaDB 10.2 上面的，在使用 MySQL Workbench 出现错误：
mysqldump: Couldn't execute 'SELECT COLUMN_NAME, JSON_EXTRACT(HISTOGRAM, '$."number-of-buckets-specified"') FROM information_schema.COLUMN_STATISTICS WHERE SCHEMA_NAME = 'mls' AND TABLE_NAME = 'office';': Unknown table 'COLUMN_STATISTICS' in information_schema (1109)
这看起来应该是 MySQL Workbench 使用的 mysqldump 版本和服务器的版本不兼容的问题。
你可以现在 MariaDB 的 ZIP 包解压后到你本地机器上。
然后在 MySQL Workbench 上配置使用 MariaDB 自带的 dump 程序。
