SQL中如何判断两个正则表达式regex是否存在匹配关系

两个正则存在匹配关系，本质是存在至少一个字符串可以同时被两个正则规则匹配，常见场景包括子集包含、部分交集、完全等价三类。
下面以ab.*和abc.*的校验需求为例，提供不同兼容性的实现方法：

方法1：通用样本测试法（兼容所有支持正则的SQL方言） #

• 实现逻辑：手动构造目标正则可以覆盖的典型测试样本，双向校验样本是否同时匹配两个正则，只要有一个样本满足条件即可判定存在匹配关系。
• 示例代码（MySQL 8.0+ 语法，其他方言替换对应正则匹配函数即可，比如PostgreSQL用~运算符，SQL Server用LIKE REGEXP）：

-- 校验ab.*和abc.*是否存在匹配关系
SELECT 
  'abc' REGEXP 'ab.*' AND 'abc' REGEXP 'abc.*' AS has_matching_intersection;

• 结果说明：上述查询返回1（布尔值true），可判定两个正则存在匹配关系，本例中abc.*的所有匹配结果都是ab.*的匹配子集。
• 注意点：如果正则规则复杂，需要构造多类样本覆盖边界场景，比如带特殊字符、量词限制的场景，避免漏判。

方法2：自动最小匹配校验法（适合简单规则正则批量校验） #

• 实现逻辑：针对仅含普通字符和.*通配符的简单正则，可以自动生成每个正则的最小匹配字符串（去掉.*保留固定前缀/后缀），再做自动校验，不需要手动构造样本。
• 示例代码（PostgreSQL 语法）：

WITH input_regex AS (
  SELECT 'ab.*' AS regex_a, 'abc.*' AS regex_b
),
auto_gen_test_str AS (
  -- 生成两个正则的最小匹配串
  SELECT 
    regexp_replace(regex_a, '\.\*', '') AS str_a,
    regexp_replace(regex_b, '\.\*', '') AS str_b
  FROM input_regex
)
SELECT 
  (str_a ~ regex_b OR str_b ~ regex_a) AS has_matching_intersection
FROM input_regex, auto_gen_test_str;

• 结果说明：本例中生成的最小匹配串是ab和abc，abc可以匹配ab.*，因此返回true。

注意事项 #

• 上述方案不适用包含反向引用、捕获组、范围量词（比如{2,5}）、字符集（比如[a-z]）等复杂规则的正则，复杂场景建议先对正则做语法解析，再生成多维度测试样本覆盖所有规则分支。
• 若需要判断具体匹配类型，可增加双向校验逻辑：如果A的所有样本都匹配B且B的所有样本都匹配A，说明两个正则等价；如果仅A的样本匹配B，说明B是A的匹配子集。

内容的提问来源于stack exchange，提问作者Yassine Elhouari