时态数据库设计理论

前言

第1章 时态数据库设计研究的概况

1.1 时态数据库设计研究概况

1.2 时态ER模型的研究概况

1.3 时态数据库的类型和查询语言概述

1.3.1 时态数据库元素的类型

1.3.2 时态查询语言

1.4 本章 小结

第2章 时态类型和它的封闭集处理

2.1 时态类型和时态函数依赖

2.1.1 时态类型

2.1.2 时态模块

2.1.3 时态函数依赖和集细于关系

2.1.4 TFD的推导规则

2.1.5 时态类型处理

2.2 封闭时态类型集

2.2.1 封闭集与公共最大下界

2.2.2 封闭集算法

2.3 本章 小结

第3章 基于全序TFD集的时态模式规范化

3.1 全序TFD集特性和成员籍

3.1.1 全序时态类型集的TFD集的逻辑蕴涵

3.1.2 求全序时态类型TFD集成员籍的算法

3.1.3 求时态候选关键字算法

3.1.4 属性集的有限闭包

3.2 TFD集的化简

3.3 时态TFD集F规范化的基本概念

3.4 T3NF分解

3.4.1 T3NF分解算法

3.4.2 应用实例

3.5 时态初等关键字范式和简单范式

3.5.1 时态初等关键字范式分解

3.5.2 时态简单范式分解

3.6 本章 小结

第4章 基于偏序TFD集的时态模式的规范化

4.1 TFD集成员籍算法

4.1.1 基于有限决定集的成员籍算法

4.1.2 基于属性集的有限闭包的成员籍算法

4.1.3 基于有限导出吋态类型集的成员籍算法

4.1.4 三种算法的比较

4.2 基于偏序TFD集的吋态模式的弱时态第三范式

4.2.1 弱时态第三范式的定义

4.2.2 WT3NF分解算法

4.3 WT3NF分解算法的有效性与实用性

4.3.1 WT3NF分解算法的有效性

4.3.2 WT3NF分解算法的实用性

4.4 应用实例

4.5 基于偏序TFD集的时态模式的时态BC范式

4.5.1 偏序时态BC范式

4.5.2 偏序时态BC范式分解算法

4.6 本章 小结

第5章 基于TMVD的时态模式的规范化

5.1 时态多值依赖的推导规则

5.1.1 多值依赖的概念

5.1.2 MVD集M的依赖基

5.1.3 时态多值依赖的概念

5.1.4 时态多值依赖的推导规则

5.2 TFD和TMVD的相互作用

5.3 成员籍问题

5.3.1 时态类型集的强封闭集

5.3.2 属性集的有限闭包、有限依赖基和特殊有限依赖基

5.4 有限依赖基和特殊有限依赖基的基本定理、求解算法

5.5 TFD和TMVD逻辑蕴涵的判定

5.6 时态模式的时态T4NF范式分解算法

5.7 本章 小结

第6章 强全序时态模式中多值依赖问题

6.1 规则时态多值依赖

6.1.1 规则时态多值依赖

6.1.2 强全序RTMⅧ推导规则

6.2 RTMVD与强全序时态模块模式无损分解

6.3 强全序吋态模式中混合依赖集成员籍

6.3.1 强全序模式混合依赖基算法

6.3.2 强全序模式混合闭包算法

6.3.3 强全序时态模式中成员籍问题

6.4 强全序时态混合依赖覆盖

6.5 本章 小结

第7章 基于时态ER模型的时态数据库设计

7.1 TEERM模型的结构

7.1.1 实体类型

7.1.2 属性

7.1.3 联系类型

7.1.4 指派实体类型的TIK

7.2 规范TFD约束

7.2.1 规范TFD约束的结构

7.2.2 规范T四的规则

7.3 向时态模块模式投影

7.3.1 几个操作

7.3.2 投影算法

7.3.3 简单分析

7.4 基于TEERM模型的数据库设计

7.4.1 支持传统应用

7.4.2 基于TEERM的数据库设计方法学

7.4.3 应用实例

7.5 本章 小结

参考文献

《时态数据库设计理论》是在作者三十余年来对数据库理论研究的基础上撰写的。书中系统论述和分析了时态数据库数据组织理论和基于时态ER（实体一联系）模型的概念设计研究成果以及作者提出的若干新的概念、方法、算法。《时态数据库设计理论》共分七章。主要内容包括：时态数据库设计研究的概况、时态模块模式与时态模块、时态函数依赖和集细于关系、时态类型和它的封闭集处理、TFD的推导规则、时态类型处理中的细于关系矩阵、时态类型集的封闭集及其公共最大下界、有限导出时态类型集、glb操作的实现算法。通过计算一个时态类型集的封闭集以及它的细于关系矩阵可以在计算机上实现对时态类型的相关处理。讨论了基于全序、偏序TFD集的时态模式规范化，基于TMVD的时态模式的规范化，强全序时态模式中多值依赖问题，基于时态ER模型的时态数据库设计。
《时态数据库设计理论》可作为计算机科学与技术、数据库及相关专业的高年级本科生教材或硕士生选修课教材，也可供从事上述领域研究的博士生、科研人员及工程技术人员参考。