database-theory

本文澄清了 relation algebra 和 relational algebra 之间常见的混淆，解释了它们在计算机科学和形式化方法中的不同起源和应用，并重点介绍了一篇关于基于 relation algebra 的 Prela 查询语言的最新论文。

本文研究了在具有线性和守卫存在规则的知识库上回答双向（合取）正则路径查询的复杂度，在数据和组合复杂度方面建立了完备性结果。

介绍了用于验证和修复AI生成工作流的代理事务处理（ATP），它将生成的动作视为不可信的提案，直到通过约束集验证。系统Mnemosyne以低开销提供安全保障。