时态数据库设计理论2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

时态数据库设计理论PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第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指派实体类型的TIK163

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