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