时间:2022-11-10 12:30:02 | 来源:信息时代
时间:2022-11-10 12:30:02 来源:信息时代
时间模型 : 时间的哲学内涵、度量方法和描述方法的综合。
1. 时间量子和时间区间
时间量子和时间区间是度量时间的基本单位。时态数据库中不可再分的最小时间间隔称为时间量子,系统所支持的时间起点记为0,系统时间论域是有限、离散、有序的时间量子的集合,一般记为Sys_T={0,1,2,…,now,…,MaxSysTime}。时间区间(interval或span)是Sys_T中以两个时间量子为上下限的时间量子的集合,例如{t,t+1,t+2,…,T},简记为[t,T]。
时态数据库研究中,常用单向无穷的时间轴描述时间。时间轴上的一点描述一个时刻。大多数时态数据库常采用简单的离散时间模型,它同构于自然数集合,基本单位为时间量子,一个时刻只有一个后继。有的时态数据库模型为了理论上的方便,采用稠密的时间模型(同构于实数集合),但在实现时仍然用离散的时间模型。
2. 时间的表现模式
时间表现模式中最重要的有线性时间、分支时间和循环时间这三种。线性时间(linear time)是一种离散时间模型,在该模型中,历史不能被修改,只能追加。历史事件不能说“如果……”; 分支时间(branching time)常常出现在关于时间机器的科幻小说和有浪漫色彩的诗词中。分支时间模型在多场景规划系统(planning systems in multi-scenario)中有重要应用;循环时间(circular time)模型用于描述周期事件、递归事件或重复事件,例如历法等。