文件名称：时间关系代数作为时间关系完整性的基础-研究论文
文件大小：2.73MB
文件格式：PDF
更新时间：2024-06-08 13:06:15
论文研究
我们定义了一个时间代数，该时间代数适用于支持离散线性有界时间的任何时态关系数据模型。 该代数具有五个扩展到时域的基本关系代数算子和一个线性递归算子。 我们证明了该代数具有基于谓词时态逻辑的安全时态演算的表达能力，具有谓词时态和自时态算符。在[CrC189]中，提出了一种历史演算作为历史关系完整性的基础。 我们提出本文定义的时间代数和等效的时间演算作为时间关系完整性的替代基础。