EdgeDB多链接删除触发器在可选性变更时未更新的问题分析

在EdgeDB数据库系统中，我们发现了一个关于多链接(multi link)删除触发器的行为异常问题。这个问题涉及到链接的可选性(required/optional)变更时，删除触发器未能正确更新的情况。

问题现象

当创建一个多链接并设置on target delete allow触发器后，如果后续修改该链接的可选性属性(从可选改为必选或反之)，删除触发器不会相应更新。这导致数据库在删除操作时执行了不符合预期的行为。

具体表现为：

1. 创建类型T和类型S，其中S包含一个指向T的多链接，并设置on target delete allow
2. 将S的链接修改为必选(required)
3. 插入S实例并关联T实例
4. 删除T实例时，系统错误地允许了删除操作，而实际上由于链接已是必选，应该阻止删除

技术背景

在EdgeDB中，链接(link)的可选性(required/optional)和删除行为(on target delete)是两个重要的约束条件：

• 可选性决定了链接是否必须存在
• 删除行为决定了当目标对象被删除时如何处理链接关系

对于多链接(multi link)，当设置为必选时，意味着至少需要关联一个目标对象。此时如果允许删除目标对象，就会导致违反必选约束。

问题根源

经过分析，问题的根本原因在于：

1. EdgeDB在修改链接的可选性属性时，没有同步更新相关的删除触发器
2. 系统保留了最初设置的on target delete allow行为，而没有根据新的可选性约束重新评估
3. 删除操作的验证逻辑没有充分考虑链接可选性变更后的场景

解决方案

修复此问题需要：

1. 在修改链接可选性时，重新评估并更新删除触发器
2. 当链接从可选变为必选时，自动将on target delete行为调整为更严格的策略
3. 在删除操作执行前，完整检查所有约束条件，包括最新的可选性设置

影响范围

该问题影响所有使用多链接并可能变更其可选性的EdgeDB应用场景。特别是在以下情况下需要特别注意：

• 数据库模式(schema)演进过程中修改链接属性
• 使用迁移脚本变更链接约束
• 动态调整数据模型的应用程序

最佳实践

为避免类似问题，建议：

1. 修改链接约束后，显式检查并设置删除行为
2. 在重要数据模型变更后进行充分的测试
3. 考虑使用事务包装模式变更和数据操作

总结

EdgeDB的这一行为异常提醒我们，在数据库系统设计中，各种约束条件之间的相互作用需要特别关注。特别是在允许动态模式变更的系统中，确保约束条件的一致性是一个复杂但至关重要的任务。通过这个案例，我们可以更好地理解数据库约束系统的内部工作机制，并在实际应用中更加谨慎地处理模式变更。