MySQL Workbench 版本说明
MySQL Workbench 提供验证模块，以便您可以在实施模型之前对其进行测试。
注意
此功能仅在 MySQL Workbench 商业版中可用。
验证 (MySQL) 插件可从打开的 MySQL 模型 或 EER 图 选项卡内的 菜单访问。菜单项下方是一些特定的验证测试。运行任何一项测试（或 ）都会在窗口的 建模附加 区域显示验证输出（从工具栏中点击 
打开或关闭面板）。或者，您也可以从面板内的 验证 选项卡中运行相同的验证测试，如下图所示。
信息、警告和错误消息包含一个图标，以直观地显示每个问题的严重程度。此外，输出按类别进行组织：验证例程组、验证例程、验证表和验证视图。对 （参见 ）的更改可能会改变各个验证测试的输出。要复制一个或多个消息，请突出显示输出并从上下文菜单中选择 。
以下列表列出了验证类型并给出了具体违规的示例
-
一致性验证
使用具有不同数据类型列的相同列
-
重复标识符验证
重复的对象名称
重复的角色或用户名称
重复的索引或例程名称
-
空内容验证
没有列的表
没有定义 SQL 代码的例程或视图
不包含例程的例程组
至少一个角色未引用的表、视图或例程
没有权限的用户
例如，不在至少一个 EER 图中显示的表等对象
-
完整性违规
对象名称超过允许的最大长度
为不支持外键的引擎类型定义的外键（尚未实施）
引用不存在的表的视图或例程（尚未实施）
与列的数据类型不匹配的默认值
无效的分区方案
-
逻辑验证
将源表中主键以外的列作为引用的外键
通过角色定义，任何对象都是只读或只写
反向工程后遗留下来的占位符对象
-
语法违规
带有错误 SQL 语法的例程、触发器或视图
用作标识符的保留关键字
使用无效字符
-
表效率验证
没有主键的表
不使用基于整数的数据类型的表
引用数据类型不同的列的外键