[Submitted on 29 Jul 2026]

View PDF HTML (experimental)

摘要：我们重新审视塔斯基的关系代数（TAR），这一早于 Codd 关系代数 100 多年的古老关系形式主义，作为关系数据库的新基础。我们认为，在现代应用代码和系统架构的语境中，TAR 在语义层和物理层都提供了更好的抽象。为了展示 TAR 的优势，我们设计并实现了 Prela，一种可组合且可控的查询语言，并表明用 Prela 编写的查询简洁、清晰且高效。

Submission history

From: Remy Wang [view email]
[v1] Wed, 29 Jul 2026 00:11:18 UTC (46 KB)