first-order-logic

本文探讨了深度同态网络（DHNs）在关系数据库学习中的表达能力，将其与一阶逻辑和SQL的片段联系起来，并分析了空性判定和包含判定等静态分析问题。

本文分析了情境演算中一阶进展的规模复杂性和可判定性，表明对于局部效应、正规和无环动作，进展呈多项式增长，并保持在可判定片段内，例如二变量一阶逻辑。