时态信息管理中的时间元素演算

时态信息 管理 中的时间元素演 算
王路 帮
（ 江 万里 学 院 ，宁 波 浙 ３５ ０ ） １ １０
摘 要 ：时态信息管理是信息化技术的重要发展方 向， 对时态信息 中的时间元素进行研究 ， 给出其有效的形式表达 ， 并 对其演算进行形式描述 ， 这是时态信息管理走向应用的基础工作． 文中在描述时间元素演算的同时 ， 出了 Ｂ Ｄ 中 提 ＣＭ
依然为真 ， 它表达了一个动态的时态信息．
表 ２ Ｂ Ｄ 中的 时 间记 录 Ｃ Ｍ
表 １ Ｈ Ｄ 中的 时 态 信息 Ｒ Ｍ
２． Ｂ Ｄ 中的双 时态机 制 ２ ＣＭ
ＲＳｏｇ ｓ 等人 １９ ． ｄｒ ｓ ｎ ａ ９４年提 出的双时态数据模 型 Ｔ Ｑ ２ 准 ，Ｓ Ｌ 是对 Ｓ Ｌ ９ 语 言标准的时态扩 ＳＬ标 ＴＱ ２ Ｑ 一２
ｔｔ １ ． 都满足 ：＜ ． ￡ 者 ｔ ｔ关系中的一种． ｔ ｔ． ｔ ｒ 或 ｔ ＝ ｔ ＞ 从计算机实现的角度 ， 时间元素永远是离散 的， 但是处于时间
元素 表 达 的方 便 ， 义如下 的 时间 区Ｉ ． 定 甸
定义 １时间 凸 区间 ：
时 间 区间 ，【 ２ 凸 区间是 指 ， 有 Ｖｔ ＿￡ｔ是 ，］ 都 ∈Ｉ； Ｖ￡只要 ｔ ≤ ， 且 ， ｌ ≤￡ 必有 ｔ ∈Ｉ．
文 章编 号 ： １７ —２５ （ ０ ７） ２ ０ ４ — ４ ６ １ ２ ０ ２ ０ ０ — ０ １ ０
作 者 简 介 ：王路帮 ， 浙江万里学院商学院讲 师， 工学硕士．
１ 引 言
时间属性是客观世界事物 的基本属性 ， 一切存在的事务都和时间相联系【时态信息的应用与管理是当 １ Ｊ ．
维普资讯
第 ２卷 第 ２ Ｏ 期
２０ 年 ３月 ０７
浙江万里学院学报
Ｊｕ ａ ｏ ｈ ｊ ｎ ｎｉＵ ｉ ｒ ｔ ｏ ｒ ｌ ｆＺ ｅ ａ ｇ Ｗａ ｌ ｎｖ ｓ ｙ ｎ ｉ ｅ ｉ
Ｖ０ ．Ｏ Ｎ ． １２ ｏ ２
Ｍａｃ ２ ７ ｒｈ Ｏｏ
定 义 ２ 时间 元素 ： 设 Ｐ是 ｒ上 全 部 区 间组成的集合 ， 分别为 Ｐ上 的最大和最 ／元素 对 于 Ｐ中的任意 ｎ个元素 ， ２ ，． Ｊ 、 ，，… ， ．． ， 仨Ｐ，
且 ｎ ＋ 为 ，．． ， ＜ ∞， ，２ ，的并 ， ，… Ｉ 则称 是பைடு நூலகம்Ｐ上 的一个 时 间元 素 ， 记 为 ｔ ［１． ，． 并 ｔ ｔ２＿ ， ＝ ．．’ ｎ
今信息化技术的一种新的趋势． 对于需要不断更新数据的系统 ， 传统关系数据库技术难以满足要求． 正是在这 种应 用 的驱使 下 ， 回滚 数据 库技术 和 历史数 据 库技术 应 运 而生 ． 回滚数 据库 能 够支 持反 映事 务 产生 或变更
的事 务 时间 ， 而不 能够 真实 反映 数据库 元组 记 录 的有 效时 间 ， 因而 ， 实 际应用 中显 得 有所 不适 ． 在 历史数 据库 技术 能够 支持元 组 记 录 的真正 有效 时 间 ， 映 了现 实事 物 或者 模拟 对 象 的真实 时 间属性 ， 而 ， 史数 据库 反 因 历
（） ．． ， ２ ，…， 都是时间凸区间． ２ ｎ
表 １中展示 了 ＨＲ Ｂ中的 时 间元 素 情况 ． ‘０ １李 愚 勤” 录 中 ，［０ ９］反 映 了属性 “ 师 ” Ｄ 元组 ＇ ０ ， １ 记 “９ ，５” 讲 的有效 时 间记 录 ， “０ Ｎ ｗ 是 整个元 组 的生 命周 期 ． 中 Ｎ ｗ表 达 了有 效 时 间变量 ， 而 ９ ，ｏ ” 式 ｏ 意味着 元 组 的时态 属性 在 当前
的 同属 性 元 组概 念 ， 并用 图 形 描述 了同属 性元 组 间 的 演算 问题 ．
关 键 词 ：时态数据库； 时间元素 ；Ｃ Ｍ； Ｂ Ｄ 时态演算
中图分 类 号 ： ＴＰ １． １ ３１３
收 稿 日 期 ： ２０ — ５ ２ ０６ ０ — ２
文 献标 识 码 ： Ａ
定义 ３ 规范 时 间元素 ：
维普资讯
丝
．
— —
浙江万里学院学报
２０ 年 ３ ０７ 月
设 ｕ ．， ， 是 ｒ上 的一个 时 间元 素 ， ｕ是规 范 的是指 ｕ 足 以下条 件 ： ，… ， ２ ｎ 称 满
（ ） 一 ， ． １ ＝ Ｖ ，≠ ； ｉ
２ 时态信息 管理机制
２ １ Ｈ Ｄ 中的 时态机 制 ． Ｒ Ｍ
对 于 时间元 素 可 以从 离散 的时 间点 和 连续 的 时 间区 间两个 方 面进行 考 虑 ． 时 间全 域定 义 为 ： ｛， ， 将 ｒ＝Ｏ １
…
，
Ｎ ｗ ， 中 Ｎ ｗ为时间变元 ， ｏｌ 其 ｏ 它是一个不确定 的时间元素 ， 并且ｒ中元素满 足线性序 ， 即ｒ中任意元素
是真正意义上的时态数据库． 基于运用的更完善追求 ， 双时态数据库的产生 ， 它不仅支持数据库的事务时间， 而且支持数据库元组记录的真实有效时间， 对于时态的应用需求趋于完备【 ． １ 卅 要研究时态演算 的相关问题 ， 历史数据库和双时态数据库是考虑 的典型代表． 文中的第二部分 ， 对历史 数据库的典 型代表 Ｈ Ｄ ｔ Ｒ Ｍ４ ｊ 进行研究 ， 并用 图示展示 了其 时间元素 的相关特点 ； 之后对于 Ｂ Ｉ ｔ Ｃ Ｍ ｇ Ｌ一 双时 态数据库的典型模型进行了时间元素的形式描述 ， 图形化了双时态 中的时间元素的变换机制． 文中的第三部 分， 对时间元素的演算进行描述 ， 用图示展示了元组演算的图形变换． 最后是文章 的小结和展望．
充 ， 提 出将 Ｔ Ｑ ２的相 关结 构 集 成 到 Ｓ Ｌ 并 ＳＬ Ｑ ３标 准 ．Ｓ Ｌ 模 型 中最 为 重 要 的是 Ｂ Ｄ Ｂｔｍ ｏａ Ｃ ｎｅｔ ＴＱ ２ Ｃ Ｍ（ｉ ｐｒｌ ｏｃｐ ｅ Ｄ ｔ Ｍｏｅ） 型 ， ａａ ｄ １ 模 它是 双时 态存 储 模 型 和表示 模 型 的桥 梁 ．Ｃ Ｍ 既 支持 事 务 时 间又支 持有 效 时 间 ． 对 于 ＢＤ