XTDB项目中系统时间与有效时间规范中列引用的显式禁止

在XTDB项目的SQL查询处理过程中，系统时间（SYSTEM_TIME）和有效时间（VALID_TIME）的规范定义有一个重要的语法限制：不允许在这些时间规范中包含列引用（column reference）或SQL参数引用（SQL parameter reference）。这个设计决策背后有着深刻的技术考量。

问题背景

在SQL标准中，时间旅行查询（Temporal Query）允许用户通过FOR SYSTEM_TIME AS OF或FOR VALID_TIME AS OF语法查询数据在特定时间点的状态。XTDB作为一个时序数据库，实现了这些功能，但在实现过程中发现了一个潜在的问题：当用户在这些时间规范中意外地使用列引用时，查询计划器会静默地接受这种语法，但生成的查询计划实际上无法正确执行。

技术细节

在XTDB的实现中，当遇到如SELECT bar FROM foo FOR VALID_TIME AS OF bar这样的查询时，查询计划器会生成一个包含[:at foo.1/bar]的计划节点。然而，这个节点在扫描阶段是无效的，因为它试图将列引用作为时间点参数使用，而实际上这里应该是一个具体的字面量值或参数。

设计决策

XTDB团队决定在语法层面明确禁止这种用法，主要基于以下考虑：

1. 语义清晰性：时间点规范应该明确表示一个具体的时间值，而不是动态地从数据中获取
2. 实现复杂性：支持列引用会显著增加查询执行的复杂度
3. 性能考量：静态时间点规范更容易优化，特别是对于时序查询

与其他系统的对比

值得注意的是，这个设计与某些其他系统（如Flink SQL）不同。Flink允许在SYSTEM_TIME AS OF中使用列引用，这为某些特定场景（如基于事件时间的时态连接）提供了便利。然而，XTDB选择了更严格的限制，可能是出于保持核心功能简洁性和一致性的考虑。

对开发者的影响

对于XTDB的使用者来说，这意味着：

1. 必须使用明确的时间戳或参数来指定时间点
2. 不能依赖动态地从数据中获取时间点
3. 需要确保时间规范中的表达式是简单且静态的

这种限制虽然减少了灵活性，但提高了查询的确定性和可预测性，对于大多数时序查询场景来说已经足够。

总结

XTDB在系统时间和有效时间规范中禁止列引用的设计，体现了数据库系统在功能丰富性和实现简洁性之间的权衡。这种选择有助于保持核心功能的稳定性和性能，同时也为开发者提供了更明确的编程约束。理解这一设计决策有助于开发者更有效地使用XTDB的时序查询功能，避免潜在的错误和性能问题。