第1章 时态数据库设计研究的概况 1
1.1时态数据库设计研究概况 1
1.2时态ER模型的研究概况 5
1.3时态数据库的类型和查询语言概述 6
1.3.1时态数据库元素的类型 6
1.3.2时态查询语言 8
1.4本章小结 9
第2章 时态类型和它的封闭集处理 10
2.1时态类型和时态函数依赖 10
2.1.1时态类型 10
2.1.2时态模块 13
2.1.3时态函数依赖和集细于关系 14
2.1.4 TFD的推导规则 16
2.1.5时态类型处理 17
2.2封闭时态类型集 19
2.2.1封闭集与公共最大下界 19
2.2.2封闭集算法 20
2.3本章小结 29
第3章 基于全序TFD集的时态模式规范化 30
3.1全序TFD集特性和成员籍 30
3.1.1全序时态类型集的TFD集的逻辑蕴涵 30
3.1.2求全序时态类型TFD集成员籍的算法 32
3.1.3求时态候选关键字算法 34
3.1.4属性集的有限闭包 34
3.2 TFD集的化简 38
3.3时态TFD集F规范化的基本概念 41
3.4 T3 NF分解 43
3.4.1 T3NF分解算法 43
3.4.2应用实例 47
3.5时态初等关键字范式和简单范式 50
3.5.1时态初等关键字范式分解 50
3.5.2时态简单范式分解 56
3.6本章小结 59
第4章 基于偏序TFD集的时态模式的规范化 60
4.1 TFD集成员籍算法 60
4.1.1基于有限决定集的成员籍算法 60
4.1.2基于属性集的有限闭包的成员籍算法 67
4.1.3基于有限导出时态类型集的成员籍算法 72
4.1.4三种算法的比较 76
4.2基于偏序TFD集的时态模式的弱时态第三范式 77
4.2.1弱时态第三范式的定义 77
4.2.2 WT3NF分解算法 80
4.3 WT3NF分解算法的有效性与实用性 86
4.3.1 WT3NF分解算法的有效性 86
4.3.2 WT3NF分解算法的实用性 86
4.4应用实例 88
4.5基于偏序TFD集的时态模式的时态BC范式 90
4.5.1偏序时态BC范式 91
4.5.2偏序时态BC范式分解算法 94
4.6本章小结 99
第5章 基于TMVD的时态模式的规范化 100
5.1时态多值依赖的推导规则 102
5.1.1多值依赖的概念 102
5.1.2 MVD集M的依赖基 102
5.1.3时态多值依赖的概念 103
5.1.4时态多值依赖的推导规则 104
5.2 TFD和TMVD的相互作用 109
5.3成员籍问题 110
5.3.1时态类型集的强封闭集 110
5.3.2属性集的有限闭包、有限依赖基和特殊有限依赖基 111
5.4有限依赖基和特殊有限依赖基的基本定理、求解算法 112
5.5 TFD和TMVD逻辑蕴涵的判定 119
5.6时态模式的时态T4NF范式分解算法 123
5.7本章小结 126
第6章 强全序时态模式中多值依赖问题 127
6.1规则时态多值依赖 127
6.1.1规则时态多值依赖 127
6.1.2强全序RTMVD推导规则 129
6.2 RTMVD与强全序时态模块模式无损分解 132
6.3强全序时态模式中混合依赖集成员籍 136
6.3.1强全序模式混合依赖基算法 137
6.3.2强全序模式混合闭包算法 142
6.3.3强全序时态模式中成员籍问题 144
6.4强全序时态混合依赖覆盖 147
6.5本章小结 152
第7章 基于时态ER模型的时态数据库设计 153
7.1 TEERM模型的结构 154
7.1.1实体类型 154
7.1.2属性 154
7.1.3联系类型 156
7.1.4指派实体类型的TIK 163
7.2规范TFD约束 164
7.2.1规范TFD约束的结构 165
7.2.2规范TFD的规则 165
7.3向时态模块模式投影 166
7.3.1几个操作 166
7.3.2投影算法 167
7.3.3简单分析 171
7.4基于TEERM模型的数据库设计 172
7.4.1支持传统应用 172
7.4.2基于TEERM的数据库设计方法学 173
7.4.3应用实例 173
7.5本章小结 175
参考文献 177