Datalevin

Datalevin 1.0 试图用同一套事实与 Datalog 模型覆盖 OLTP、关系/图查询、全文检索、向量检索和文档索引，而不是把这些能力拆成多个服务。此次里程碑加入自动路径索引、WAL、事务日志、只读副本、高可用、JSON API，以及 Java、Python、JavaScript 客户端；README 的递归规则基准里，Datalevin 的 Q4 为 2.9ms，Datomic 为 41,192.9ms，Datascript 则耗尽内存。基准来自项目方且场景有限，但其“统一查询层+嵌入式/服务端双形态”值得数据库工程师实测。