Datahike项目支持Datalog查询中的集合形式Pull模式

在Datahike这个开源数据库项目中，最近实现了一个重要功能改进——支持在Datalog查询中使用集合形式的pull模式。这一改进使得Datahike与Datomic在查询语法上更加兼容，为开发者提供了更灵活的数据检索方式。

Pull模式的基本概念

Pull模式是Datalog查询语言中一种强大的数据提取机制，它允许开发者指定要从数据库中检索的实体属性。传统上，Datahike要求pull模式必须是一个序列（如向量或列表），例如[:name :age]。这种语法虽然有效，但与Datomic不完全一致，因为Datomic还支持使用集合形式（如#{:name :age}）作为pull模式。

技术实现细节

Datahike通过更新其依赖的datalog-parser库（版本升级至0.2.29）来实现这一功能。datalog-parser是负责解析Datalog查询语句的核心组件，此次更新使其能够正确识别和处理集合形式的pull模式。

在底层实现上，解析器现在能够：

1. 识别查询中的集合语法
2. 将集合转换为内部表示形式
3. 保持与序列形式pull模式相同的处理逻辑

实际应用示例

开发者现在可以编写如下查询：

(d/q '[:find (pull ?e #{:name}) .
       :where [?e :age 25]]
     test-db)

这个查询会返回所有年龄为25岁的实体，但只提取它们的name属性。结果将以映射形式呈现，如{:name "Ivan"}。

兼容性考虑

这一改进特别考虑了与Datomic的语法兼容性。许多从Datomic迁移到Datahike的项目可以继续使用原有的查询语法，减少了迁移成本。同时，Datahike仍然支持原有的序列形式pull模式，确保向后兼容。

开发者价值

对于开发者而言，这一改进带来了以下好处：

1. 更灵活的查询语法选择
2. 更好的Datomic兼容性
3. 更直观的数据提取方式（特别是当属性顺序不重要时）
4. 减少语法转换的工作量

集合形式的pull模式特别适合那些属性顺序无关紧要的场景，使查询意图更加清晰。这一改进虽然看似微小，但却能显著提升开发体验和代码可读性。

Datahike团队通过这样的持续改进，不断优化开发者体验，同时保持与Datalog生态系统的兼容性，巩固了其作为Datomic替代方案的地位。