《关系数据库数据理论新进展》

目 录1

前言1

第一章预备知识1

第一节基本概念1

第二节覆盖与等价10

第三节范式与规范化17

第二章候选关键字和主属性问题23

第一节概述23

第二节 求候选关键字集—吸收法26

第三节求候选关键字集——图论法27

第四节求全部候选关键字——替换法31

第五节求全部候选关键字——属性相关表法38

第六节 求基数为M的候选关键字——47

最大相关块法47

第七节 求基数为M的候选关键字…57

属性分析表法57

第八节求主属性及最小基数候选关键字67

第一节连接依赖的蕴涵及其公理系统76

第三章数据依赖问题和最优覆盖问题76

第二节连接依赖的几个子类的可满足性79

第三节从关系中推导出函数依赖的方法90

第四节 模板依赖集的闭包及最小覆盖求法101

第五节最优覆盖一个子类求法112

第四章范式问题121

第一节范式理论产生和发展的基础121

第二节 几个重要范式的讨论124

第三节初等关键字范式及分解138

第四节 简单范式及分解145

第五节强简单范式及分解155

第六节BCNF的判定问题159

第七节 对5NF的再讨论166

第五章规范化问题173

第一节规范化和候选关键字间的关系173

第二二节 对Bernstein算法的一次改进181

第三节有条件的综合算法研究185

参考文献189

作者简介192