时态数据库设计理论

定　价：¥40.00

作　者：	郝忠孝著
出版社：	科学出版社
丛编项：
标　签：	数据库理论

购买这本书可以去

ISBN：	9787030247049	出版时间：	2009-06-01	包装：	平装
开本：	16开	页数：	178	字数：

内容简介

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

作者简介

　　郝忠孝，教授，山东蓬莱人，1940年12月生，中共党员，曾任原东北重型机械学院副校长，齐齐哈尔大学副校长，哈尔滨理工大学校学术委员会主席。现任哈尔滨理工大学博士生导师、哈尔滨工业大学博士生导师（兼）。原机械电子工业部有突出贡献专家、享受国务院政府特殊津贴、全国优秀教师、省共享人才专家、省级学科带头人、省计算机学会副理事长。主要研究领域：①空值数据库理论。在国内、外首次提出了空值数据库数据模型，完成一系列相关研究，形成了比较完整的理论体系，完成了国内、外第一部该方面的论著《空值环境下数据库导论》。②数据库NP-完全问题的求解问题。首次基本解决了求全部候选关键字、主属性、基数为M的候选关键字、最小候选关键字等问题，完成了《关系数据库数据理论新进展》一书。③数据库数据组织的无环性理论研究。首次给出了归并依赖集、关联度等概念。并在此基础上对无a环、无口环、无y环的分解条件与规范化理论研究方面有了突破性进展，著有《数据库数据组织无环性理论》。④时态数据库理论研究。系统提出并完成了时态数据库中基于全序、偏序、多粒度环境下的各种时态理论问题研究，完成了《时态数据库设计理论》的论著。⑤主动数据库理论研究。完成了国内、外第一部该方面的论著《主动数据库系统理论基础》。⑥空间、时空数据库理论研究。完成了国家、省部级项目10项；获省部级科技进步奖一、二、三等奖5项。发表学术论文200余篇，其中，国家一级论文130余篇、在《计算机研究与发展》上发表个人学术论文专辑两部，被SCl、EI等检索80余篇。1991年发表学术论文数居中国科技界第五位（并列）。著书五部。

图书目录

前言
第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 本章小结
参考文献