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