Kùzu数据库FTS索引查询与图遍历结合时的异常分析

问题背景

Kùzu是一款图数据库系统，在其0.8.0版本中，用户在使用全文搜索(FTS)索引查询后尝试进行图遍历操作时遇到了一个异常情况。具体表现为：当用户单独使用FTS索引查询时工作正常，但将FTS查询结果与图遍历结合使用时，系统会抛出"vector::_M_default_append"的运行时错误。

问题现象

用户最初尝试的查询语句如下：

CALL QUERY_FTS_INDEX('Technology_or_Tool','full_text_search_index','emulate')
WITH node as n ORDER BY score DESC LIMIT 5
MATCH (n)
RETURN n.*;

这个查询能够正常工作，返回预期的结果。

但当用户尝试在FTS查询后进行图遍历时：

CALL QUERY_FTS_INDEX('Technology_or_Tool','full_text_search_index','emulate') 
WITH node.e_key as doc_key, score
ORDER BY score DESC LIMIT 5
MATCH (a:Technology_or_Tool {e_key: doc_key})-[]->(b)
RETURN a.name, b.name;

系统会抛出RuntimeError: vector::_M_default_append异常。

临时解决方案

用户发现，如果在图遍历模式中为所有节点和关系明确指定标签，查询就能正常执行。例如以下两种形式都能工作：

1. 为所有元素指定标签并绑定变量：

MATCH (a:Technology_or_Tool)-[r:MODIFIES]-(b:Technology_or_Tool)

2. 为所有元素指定标签但不绑定变量：

MATCH (a:Technology_or_Tool)-[:MODIFIES]-(:Technology_or_Tool)

这表明问题仅出现在未完全指定图模式中元素类型的情况下。

问题根源与修复

开发团队确认这是一个已知问题，并在后续版本中进行了修复。该问题的根本原因在于查询执行引擎在处理未完全限定的图模式时，未能正确初始化内部数据结构，导致标准库vector在尝试扩展时出现异常。

最佳实践建议

1. 在使用FTS索引查询结合图遍历时，建议始终为图中的节点和关系明确指定标签
2. 对于生产环境，建议升级到已修复该问题的版本
3. 在编写复杂查询时，分阶段验证查询的正确性，先验证FTS部分，再逐步添加图遍历部分

总结

这个问题展示了图数据库查询执行过程中类型系统与查询优化器交互的一个边界情况。通过明确指定图模式中元素的类型，不仅可以避免此类异常，还能帮助查询优化器生成更高效的执行计划。Kùzu团队已经修复了这个问题，用户可以通过升级到最新版本获得更好的使用体验。