[2026年7月29日提出]

View PDF HTML (experimental)

Abstract:Tarskiの関係代数（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)