Kùzu数据库JSON函数行为不一致问题解析

问题背景

在使用Kùzu数据库v0.8.2版本时，发现其JSON处理函数存在不一致的行为表现。具体表现为to_json函数在处理某些特定格式的字符串输入时，会产生与预期不符的结果。

问题现象

当使用json_extract函数与to_json函数进行JSON值比较时，发现以下异常情况：

1. 对于字符串形式的数字"5"，to_json("5")返回的是JSON数字5而非JSON字符串"5"
2. 对于字符串形式的布尔值"true"，to_json("true")返回的是JSON布尔值true而非JSON字符串"true"

这种不一致性会导致JSON数据比较时出现意外结果，例如：

RETURN json_extract(json_object("foo", "5"), "foo") = to_json("5");
-- 预期返回True，实际返回False

技术分析

正常工作情况

在正常情况下，Kùzu的JSON函数表现符合预期：

• 字符串值：to_json("bar")正确生成JSON字符串"bar"
• 数字值：to_json(5)正确生成JSON数字5
• 布尔值：to_json(true)正确生成JSON布尔值true

异常工作情况

问题出现在当输入字符串恰好可以解析为其他JSON类型时：

1. 数字字符串：to_json("5")错误地将其解析为JSON数字
2. 布尔字符串：to_json("true")错误地将其解析为JSON布尔值

这种行为违反了JSON处理的基本原则——字符串输入应当保持为字符串类型，除非明确进行类型转换。

影响范围

此问题会影响所有需要精确JSON类型比较的场景，特别是：

1. 需要严格区分字符串"5"和数字5的应用
2. 需要区分字符串"true"和布尔值true的应用
3. 动态生成JSON查询条件的应用

解决方案

Kùzu开发团队已在主分支中修复此问题（提交#4992），修复内容包括：

1. 确保to_json函数严格保持输入字符串的字面值
2. 修正JSON类型比较逻辑

用户可以通过以下方式解决：

1. 升级到包含修复的版本
2. 在比较前明确进行类型检查
3. 对用户输入进行预处理，确保类型一致性

最佳实践建议

1. 在JSON处理中始终明确指定期望的类型
2. 对于用户提供的JSON路径查询，建议添加类型验证
3. 考虑使用更明确的比较方式，如先提取再比较类型

总结

JSON数据类型处理是数据库系统中的一个重要功能，Kùzu团队对此问题的快速响应体现了其对数据一致性的重视。开发者在处理JSON数据时应当注意类型系统的细微差别，特别是在动态生成查询的场景下。此修复确保了Kùzu数据库在JSON处理方面更加可靠和一致。