Evaluation order and nontermination in query languagesa month agohttps://www.rntz.net/post/2026-06-11-datalog-nontermination.htmlλFS 将函数式编程与关系型编程相结合，将关系视为有限函数。递归中的非终止性带来了求值顺序和语义的挑战。讨论了三种求值策略：从左到右、非确定性和并行的“与”。从左到右求值提供了可预测性，但对于循环查询可能效率低下。更多...