Acadia 查询语言：用 Datalog 思路彻底消灭 1+N 查询问题

概述

Evan Czaplicki 解释 Acadia 查询语言如何从 1970 年代的 Datalog 汲取灵感，从根本上消灭 ORM 中常见的 1+N 查询问题：语言没有 for 循环、没有递归，因此所有查询必然终止，且终止时间与数据量呈多项式关系。表与表的关联只能通过显式 intersect 完成，从根本上杜绝了隐式逐行查询带来的性能滑坡。