TerminusDB数据库在SWI-Prolog 9.2升级中的迁移问题分析

TerminusDB团队近期在将SWI-Prolog运行时环境升级到9.2版本时，发现了两个与模式迁移相关的关键问题。这些问题出现在CLI模式迁移测试用例中，主要表现为迁移操作统计数据的输出格式与预期不符。

问题现象

在自动化测试过程中，两个测试用例出现了失败：

1. 分支迁移测试用例期望输出格式为{"instance_operations":2, "schema_operations":2}
2. 带弱化操作的分支迁移测试用例期望输出格式为{"instance_operations":2, "schema_operations":1}

实际输出却显示为紧凑格式（无空格）的JSON字符串，如{"instance_operations":2,"schema_operations":2}，导致正则表达式匹配失败。

技术背景

TerminusDB是一个基于Prolog构建的知识图谱和文档数据库，其模式迁移系统允许用户在修改数据库模式时自动处理现有数据的转换。迁移操作会返回两个关键指标：

• 实例操作次数(instance_operations)：表示需要修改的数据实例数量
• 模式操作次数(schema_operations)：表示模式变更的数量

问题根源

该问题的根本原因在于SWI-Prolog 9.2版本对JSON序列化输出的格式处理发生了变化。新版本默认移除了JSON键值对之间的空格，使输出更加紧凑，而测试用例中的正则表达式仍然期望旧版本带空格的格式。

解决方案

团队通过修改测试用例中的正则表达式模式来适应新版本的输出格式，具体调整为：

• 允许JSON键值对之间可能存在或不存在空格
• 保持其他验证逻辑不变

这种修改既保证了测试的严谨性，又兼容了新版本的输出格式变化。

经验总结

此次事件为数据库系统升级提供了宝贵经验：

1. 依赖项版本升级可能引入微妙的兼容性问题
2. 测试用例应尽可能避免对输出格式的严格假设
3. JSON序列化的空格处理在不同版本间可能存在差异
4. 自动化测试在捕捉这类细微变化中发挥关键作用

TerminusDB团队通过快速响应和调整测试策略，确保了系统在新版SWI-Prolog上的稳定运行，同时也为其他面临类似升级问题的项目提供了参考案例。