Navicat Data Modeler的“验证模型”仅校验语法与基础结构（如主键缺失、外键表存在性），不检查业务逻辑；真正暴露逻辑错误的是“同步到数据库”的比对报告，需手动确保Physical Name逐字符一致并统一小写命名。
Navicat Data Modeler 的“验证模型”功能不校验业务逻辑
它只检查语法和基础结构合规性，比如表名是否重复、外键引用的表是否存在、主键是否缺失。但像“订单金额必须大于零”“用户注册时间不能晚于下单时间”这类业务规则，验证模型完全不会扫描——它不解析 check 表达式，也不理解字段语义。
真正能暴露逻辑错误的是“同步到数据库”前的比对报告
当你在 Navicat Data Modeler 中执行“同步到数据库”并点击“比较”后，生成的差异报告里藏着关键线索：
- 如果逻辑模型中某外键指向
user_profile，但物理库实际表名是user_profiles（多了 s），报告会标出“目标对象不存在”，这说明命名约定不一致，可能引发后续 JOIN 失败 - 若逻辑模型里把
order_status设为枚举型属性，但物理字段类型是VARCHAR(20)且没建 CHECK，报告不会警告——但这是典型的逻辑漏洞：值域失控 - 当模型中两个实体间有关系线，但“Referenced Column”填的是
id，而目标表主键实际叫user_id，比对会显示“外键约束无法生成”，这就是逻辑映射断裂
必须手动补全 Physical Name 才能让验证有意义
Navicat Data Modeler 默认允许逻辑属性名（如 CreatedDate）和物理列名（如 created_at）不一致，但验证过程只认后者。不填或填错 Physical Name，会导致：
- 外键生成失败，报错
Unknown column 'CreatedDate' in 'foreign key' - 正向工程生成的 DDL 中列名与预期不符，比如建出
createddate而非created_at - 后续用该模型做逆向工程时，字段映射错乱，无法还原原始设计意图
操作路径：双击实体 → 切到 Attributes 页 → 每行都确认 Physical Name 已填写，且与你打算在数据库里实际使用的列名**逐字符一致**（包括下划线、大小写）。
MySQL 下大小写敏感导致的隐性逻辑错误最易被忽略
Linux 环境 MySQL 默认开启 lower_case_table_names=1，而 Navicat Data Modeler 在生成 DDL 时不自动转小写。结果就是：
- 模型里建了表
UserOrder，同步后物理表变成userorder - 但外键仍试图引用
UserOrder.id，最终报错Table 'db.UserOrder' doesn't exist
解决方法不是改系统变量，而是从源头控制：在模型中所有表名、字段名统一用小写字母+下划线（如 user_order, order_id），避免依赖运行时转换。
