时态数据库设计理论
内容简介
《时态数据库设计理论》是在作者三十余年来对数据库理论研究的基础上撰写的。书中系统论述和分析了时态数据库数据组织理论和基于时态ER（实体一联系）模型的概念设计研究成果以及作者提出的若干新的概念、方法、算法。《时态数据库设计理论》共分七章。主要内容包括：时态数据库设计研究的概况、时态模块模式与时态模块、时态函数依赖和集细于关系、时态类型和它的封闭集处理、TFD的推导规则、时态类型处理中的细于关系矩阵、时态类型集的封闭集及其公共最大下界、有限导出时态类型集、glb操作的实现算法。通过计算一个时态类型集的封闭集以及它的细于关系矩阵可以在计算机上实现对时态类型的相关处理。讨论了基于全序、偏序TFD集的时态模式规范化，基于TMVD的时态模式的规范化，强全序时态模式中多值依赖问题，基于时态ER模型的时态数据库设计。
《时态数据库设计理论》可作为计算机科学与技术、数据库及相关专业的高年级本科生教材或硕士生选修课教材，也可供从事上述领域研究的博士生、科研人员及工程技术人员参考。
作者简介
郝忠孝，教授，山东蓬莱人，1940年12月生，中共党员，曾任原东北重型机械学院副校长，齐齐哈尔大学副校长，哈尔滨理工大学校学术委员会主席。现任哈尔滨理工大学博士生导师、哈尔滨工业大学博士生导师（兼）。原机械电子工业部有突出贡献专家、享受国务院政府特殊津贴、全国优秀教师、省共享人才专家、省级学科带头人、省计算机学会副理事长。
主要研究领域：①空值数据库理论。在国内、外首次提出了空值数据库数据模型，完成一系列相关研究，形成了比较完整的理论体系，完成了国内、外第一部该方面的论著《空值环境下数据库导论》。②数据库NP-完全问题的求解问题。首次基本解决了求全部候选关键字、主属性、基数为M的候选关键字、最小候选关键字等问题，完成了《关系数据库数据理论新进展》一书。③数据库数据组织的无环性理论研究。首次给出了归并依赖集、关联度等概念。并在此基础上对无a环、无口环、无y环的分解条件与规范化理论研究方面有了突破性进展，著有《数据库数据组织无环性理论》。④时态数据库理论研究。系统提出并完成了时态数据库中基于全序、偏序、多粒度环境下的各种时态理论问题研究，完成了《时态数据库设计理论》的论著。⑤主动数据库理论研究。完成了国内、外第一部该方面的论著《主动数据库系统理论基础》。⑥空间、时空数据库理论研究。
完成了国家、省部级项目10项；获省部级科技进步奖一、二、三等奖5项。发表学术论文200余篇，其中，国家一级论文130余篇、在《计算机研究与发展》上发表个人学术论文专辑两部，被SCl、EI等检索80余篇。1991年发表学术论文数居中国科技界第五位（并列）。著书五部。
在线客服