[Submitted on 29 Jul 2026]

View PDF HTML (experimental)

Abstract:我們重新探討塔斯基的關係代數（TAR），這是一種早於 Codd 關係代數一百多年的古老關係形式體系，作為關係資料庫的新基礎。我們主張在現代應用程式碼與系統架構的脈絡下，TAR 在語意層面與實體層面都提供了更佳的抽象。為了展示 TAR 的優勢，我們設計並實作了 Prela，一種具備組合性與可控性的查詢語言，並展示以 Prela 撰寫的查詢既簡潔、清晰且高效。

Submission history

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