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