如何用SQL正则表达式测试数值组等于/大于零的组合以实现CHECK约束？

需要为四张表分别创建等效的SQL CHECK约束，约束逻辑基于**批次号（4位）、公司号（5位）、员工号（5位）**三个数值列的空格分隔拼接字符串，四种行类型的格式要求如下：

"0 0 0" -- 主控制行标识
"55 0 0" -- 批次控制行标识
"555 888 0" -- 公司控制行标识
"5555 88888 0123" -- 员工计算行标识

现有基础正则(\d+)\s(\d+)\s(\d+)可验证格式，但需要校验每个捕获组的数值组合（等于0或大于0的特定组合）。由于使用的第三方跨平台数据同步工具仅支持单个正则测试来判断数据分发目标表，无法用复合AND逻辑，你自行编写了四个正则表达式，询问是否能满足需求：

^([0]+)\s([0]+)\s([0]+)$
^([1-9][0-9]+)\s([0]+)\s([0]+)$
^([1-9][0-9]+)\s([1-9][0-9]+)\s([0]+)$
^([1-9][0-9]+)\s([1-9][0-9]+)\s([1-9][0-9]+)$

你的正则能满足数值组合的核心逻辑要求，但存在两个明显的局限性：

• 未限制字段长度：批次号要求4位、公司号5位、员工号5位，但当前正则允许任意长度的数字（比如批次号写5位12345也会匹配），如果业务要求严格匹配长度，这个正则会不符合要求。
• 员工号匹配逻辑错误：示例中的0123（补全为5位是00123）属于员工计算行的合法值，但你写的第四个正则[1-9][0-9]+会排除这类带前导零的情况——因为它要求第一个字符必须是非零数字，而00123的首字符是0，会被判定为不匹配。

如果要同时满足字段长度限制和员工号允许前导零的业务要求，四个正则应调整为：

1. 主控制行：

^0{4}\s0{5}\s0{5}$

2. 批次控制行：

^[1-9]\d{3}\s0{5}\s0{5}$

3. 公司控制行：

^[1-9]\d{3}\s[1-9]\d{4}\s0{5}$

4. 员工计算行：

^[1-9]\d{3}\s[1-9]\d{4}\s(?!0{5})\d{5}$

说明：员工计算行的(?!0{5})\d{5}表示匹配5位数字，但不能全为0，既允许00123这类带前导零的合法值，又排除了全零的情况，符合业务示例要求。

内容的提问来源于stack exchange，提问作者Dave Clark