目 录 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