时间数据和时间一致性

临时数据是仅在规定时间内有效的临时数据。时态数据在一段时间后变得无效或过时。

例如，特定区域的当前温度是时间数据，因为它不断更新，并且该时间数据（当前温度）的有效性已过时。此外，航班预订中当前座位可用性的数据每分钟都在变化。这种类型的临时数据称为临时数据。

时态数据通常用于实时系统，例如铁路座位预订、Sensex、天气预报等。

实时系统对数据对象使用时间一致性约束。
时间一致性确保存储在实时系统的数据库中的值与真实数据的差异在某个预定义的限制内。

绝对有效性确保真实数据和存储在数据库中的数据必须有一定的一致性。

相对一致性确保从实时系统的数据库中查询时获得的数据集应该位于某个固定和预定义的范围内。从数据库中获取的数据的相对值要接近，不能有太大的差异。

在上图中：

• x 到达 0 并在 8 时过时，因为有效时间为 8
• y 到达 6 并在 13 时过时，因为有效时间是 7

实时系统中的数据项以元组的形式存储：

(value, avi, timestamp)

• value ：表示数据值。
• avi ：表示数据的有效时间。
• timestamp ：表示数据实例的生成时间。

例如(786.34, 8 ms, 800 ms)：表示数据值为786.34，生成时间为800 ms，有效期为800ms到804ms。

绝对有效性可以使用以下等式验证：

( current_time - dtimestamp ) <= davi

可以使用以下等式验证相对有效性：

∀d, ∀ d' ∈ R : |dts - d'ts|