《软件复用方法与技术》

第一章 空值的引入及空值信息间的关系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）5NF167

参考文献171