通过融圆代数证明关系代数完备性
计算机科学中的逻辑
2026-03-17 v1 数据库
逻辑
摘要
本文提出了一种关于关系代数相对于一阶逻辑允许公式完备性的替代证明。该证明依赖于人们熟知的关系代数嵌入融圆代数的事实，使得我们能够以更代数的形式建立完备性。基于此证明，我们提供一种替代算法，生成等价于给定允许公式的关系表达式。本工作的主要动机是建立一种适用于处理不完整或模糊信息的关系模型的完备性证明。
引用
@article{arxiv.2603.15099,
title = {Completeness of Relational Algebra via Cylindric Algebra},
author = {Jan Laštovička},
journal= {arXiv preprint arXiv:2603.15099},
year = {2026}
}