关系数据库数据理论新进展PDF电子书下载

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