类图1..*最小multiplicity下，数据库如何强制T1的最小参与约束？

在T1模式中，插入T1记录时必须至少与T2建立1个关联。我想到了几种解决方案，但不确定是否具备有效性：

• 创建存储过程，先检查T2是否存在，若存在则插入T1，再插入关联表T1-T2
• 创建包含T1及T1与T2关联的视图，创建触发程序在视图插入时同步插入T1数据和T2的键
• 不关注数据库端插入逻辑，在连接数据库的应用层进行管控

请问这些方案是否可用于强制实施最小参与约束？还有其他可行方案吗？

现有方案有效性分析 #

1. 存储过程方案 #

可以实现约束，但存在明显漏洞：如果绕过存储过程直接向T1或关联表插入数据，约束就会失效。必须配合权限控制，禁止直接操作T1和关联表，只允许调用该存储过程，才能确保约束被强制执行。

2. 视图+触发器方案 #

该方案可行，但同样需要限制直接向T1和关联表插入数据，仅允许通过视图操作。触发器可在插入视图时自动完成T1数据插入和关联表的关联操作，确保T1记录一定和T2存在关联。需注意触发器逻辑要处理T2键不存在的情况，避免插入无效关联。

3. 应用层管控方案 #

能实现功能，但可靠性最低。一旦有其他应用、工具直接连接数据库操作数据，或应用层出现代码漏洞，就会导致约束被打破，无法从数据库层面保障数据一致性。

其他可行方案 #

1. 自定义函数+检查约束（适用于PostgreSQL等支持的数据库） #

创建一个函数检查T1每条记录在关联表中至少有一条对应记录，再给T1表添加该检查约束。示例SQL：

CREATE FUNCTION has_t2_association(t1_id INT) RETURNS BOOLEAN AS $$
BEGIN
  RETURN EXISTS (SELECT 1 FROM t1_t2 WHERE t1_id = $1);
END;
$$ LANGUAGE plpgsql;

ALTER TABLE t1 ADD CONSTRAINT chk_t1_has_t2 CHECK (has_t2_association(id));

注意：MySQL等数据库的CHECK约束不支持调用自定义函数，此方法不适用。

2. 调整表结构，绑定T1与关联表的创建逻辑 #

将T1的主键作为关联表的主键一部分（关联表主键设为(t1_id, t2_id)），同时将t1_id设为关联到T1主键的外键。然后通过INSTEAD OF触发器，限制T1的记录只能通过插入关联表间接创建，确保每条T1记录必然对应至少一条关联表条目。

3. 使用数据库断言（Assertion） #

部分数据库支持SQL标准中的断言功能，可定义全局约束确保T1中的每条记录在关联表中至少有一个关联。不过目前支持断言的数据库较少，比如Oracle有类似实现，PostgreSQL暂不支持。

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