时态数据库设计理论

本书共分七章。主要内容包括：时态数据库设计研究的概况、时态模块模式与时态模块、时态函数依赖和集细于关系、时态类型和它的封闭集处理、TFD的推导规则、时态类型处理中的细于关系矩阵，时态类型集的封闭集及其公共最大下界等、有限导出时态类型集、给出了glb操作的实现算法。通过计算一个时态类型集的封闭集以及它的细于关系矩阵可以在计算机上实现对时态类型的相关处理。讨论了基于全序、偏序TFD集的时态模式规范化、基于TMVD的时态模式的规范化、强全序时态模式中多值依赖问题、基于时态ER模型的时态数据库设计。