软件复用方法与技术PDF电子书下载

第一章 空值的引入及空值信息间的关系 1

第一节 问题的提出 1

第二节 空值的语义及分类 3

第三节 空值信息之间的关系 6

第四节 空值环境下的关系模型 9

第二章 空值环境下的关系运算 13

第一节 空值的运算 13

第二节 空值环境下的关系运算 16

第三章 空值环境下关系数据库数据的更新 25

第一节 扩展关系模型及信息冗余处理 25

第二节 扩展关系的基本关系运算 27

第三节 空值环境下数据更新的操作及实现 39

第四节 更新操作的一致性讨论 62

第四章 空值环境下的数据库查询 64

第一节 空值环境下的查询策略 64

第二节 空值环境下查询的实现 66

第三节 三种查询操作一致性问题的讨论 73

第四节 查询操作有效性与完备性的讨论 76

第五章 空值环境下的函数依赖 79

第一节 空值环境下函数依赖的保持条件及性质 79

第二节 空值环境下的完全函数依赖和部分函数依赖 84

第三节 空值环境下的函数依赖公理系统 89

第四节 空值环境下函数依赖集的等价性 100

第六章 空值环境下的多值依赖 108

第一节 空值环境下的多值依赖保持条件及性质 108

第二节 空值环境下的多值依赖公理系统 113

第三节 空值环境下NFD-NMVD混合强保持逻辑蕴涵问题 123

第四节 空值环境下的嵌入多值依赖 128

第七章 空值环境下的连接依赖及其它依赖 132

第一节 空值环境下的连接依赖的基本概念 132

第二节 NJD与NEJD的推导规则 135

第三节 其它数据依赖和推导规则概述 140

第四节 空值环境下的子集依赖和推导规则概述 141

第五节 空值环境下的模板依赖和推导规则概述 144

第八章 空值环境下的范式理论及模式分解 149

第一节 空值环境下的（N）2NF及分解 149

第二节 空值环境下的（N）3NF及分解 157

第三节 空值环境下的（N）BCNF、（N）4NF、（N）5NF 167

参考文献 171