Acadia 如何彻底解决 1+N 查询问题

Solving the 1+N Query Problem

在使用 Ruby 或 Python 等语言中的 ORM 时，看似无害的 for 循环往往会导致 1+N 查询问题，即先执行一次查询，再为每一行结果执行额外查询，严重拖慢性能。Acadia 的查询语言设计灵感源自 1970 年代的 Datalog，通过摒弃递归和 for 循环，从语言层面彻底杜绝了这一问题。这不仅消除了隐式查询带来的性能陷阱，更保证了所有查询必然在多项式时间内终止，绝不会出现无限循环。Acadia 证明了简化语言特性反而能带来更强的性能保证和代码可靠性。