21、时态数据库完整性约束解析

时态数据库完整性约束解析

1. 引言

在处理时态数据库时，完整性约束是确保数据准确性和一致性的关键。本文将探讨两种不同类型的时态数据库：仅包含当前关系变量（relvars）的数据库和仅包含历史关系变量的数据库，并分析针对这些数据库的R1 - R9需求的形式化版本。

2. 仅包含当前关系变量的数据库

2.1 数据库概述

仅包含当前关系变量的数据库本质上由图11.1（或图11.8）中的两个“since”关系变量组成，如图12.1所示。这些关系变量不涉及区间属性，因此除了一些未显示的简单约束外，也不涉及任何PACKED ON或WHEN/THEN约束。

关系变量	定义	键	外键
S_SINCE	{ S#, S#_SINCE, STATUS, STATUS_SINCE }	{ S# }	无
SP_SINCE	{ S#, P#, SINCE }	{ S#, P# }	{ S# } REFERENCES S_SINCE

该数据库只是半时态的，它不能表示历史信息（除了可以从“since”值推断出的信息），但可以表示未来信