Evaluation order and nontermination in query languagesa month agoquery-evaluationprogramming-languagessemanticshttps://www.rntz.net/post/2026-06-11-datalog-nontermination.htmlCopy LinkλFS 将函数式编程与关系型编程相结合，将关系视为有限函数。递归中的非终止性带来了求值顺序和语义的挑战。讨论了三种求值策略：从左到右、非确定性和并行的“与”。从左到右求值提供了可预测性，但对于循环查询可能效率低下。非确定性求值允许优化，但使组合推理复杂化。并行的“与”恢复了确定性和对称性，但难以高效实现。