Datascript 1.6.4版本中的关系求和回归问题分析

问题背景

在Datascript这个内存数据库的1.6.3升级到1.6.4版本过程中，开发者发现了一个关于关系求和的回归问题。具体表现为在某些特定查询条件下，系统会抛出"Can't sum relations with different attrs"异常。

问题重现

通过一个精简的测试用例可以重现这个问题。测试创建了一个包含三个实体(alice、bob、clara)的数据库，并建立了它们之间的父子关系链：alice→bob→clara。

查询试图找出每个实体的"祖父"或"子"关系，使用了or-join和and的组合查询条件。在1.6.3版本中，这个查询能正常工作，返回预期的结果集。但在1.6.4版本中，当查询"clara"时，系统会抛出异常。

技术分析

问题的核心在于or-join操作中对关系变量的处理。在Datascript内部，or-join需要合并多个子查询的结果集，这就要求各子查询返回的关系必须具有相同的属性集合。

在正常情况(如查询"alice")下：

1. 第一个and条件成功绑定?z为"bob"
2. 第二个条件进一步绑定?y
3. 两个变量?x和?y都被正确绑定，可以求和

但在异常情况(如查询"clara")下：

1. 由于clara没有父节点，第一个and条件无法绑定任何值
2. 导致第二个条件从未执行
3. 最终or-join的一个分支只有?x绑定，另一个分支有?x和?y绑定
4. 属性不一致导致求和失败

解决方案

项目维护者tonsky在1.6.5版本中修复了这个问题。修复的核心思路应该是确保在or-join操作中，无论各分支的执行路径如何，最终合并的关系都能保持一致的属性集合。

开发者建议

对于使用类似复杂查询的开发者，建议：

1. 检查应用中是否存在类似的or-join嵌套and结构的查询
2. 考虑升级到1.6.5或更高版本
3. 对于暂时无法升级的情况，可以重构查询逻辑，避免在可能返回空集的分支中使用变量绑定

这个问题展示了在复杂查询处理中边界条件的重要性，特别是在处理可能为空的中间结果时，需要特别小心变量绑定的完整性。