非经典关系数据库理论——中国计算机学会学术著作丛书

第1章 约束关系模型
1.1 二元约束关系
1.2 广义关系代数
1.3 广义关系代数的实例
1.4 广义关系代数上的矩阵
1.5 约束关系模型在查询优化中的应用
1.6 在其他领域的应用
第2章 时态关系模型
2.1 具有复杂对象的时态关系
2.2 实例
2.3 时间模型
2.4 数据模型
2.5 时态函数依赖
2.6 无回路模式
2.7 约束线性时间序列
2.8 回路模式
第3章 空值关系模型
3.1 不完全关系及函数依赖的可加性
3.2 形式化定义
3.3 可满足性
3.4 LienAtzeni公理系统及“单依赖”集合
3.5 “单依赖”集合与可加性的重要联系
3.6 最小函数依赖集合与最优函数依赖集合
3.7 “单依赖”的K基数关键字
3.8 交特性时2NF=3NF=BCNF
3.9 “单依赖”时无损连接的分解一定无损依赖
第4章 偏序关系模型
4.1 偏序数据域上的关系
4.2 形式化定义
4.3 序关系运算
4.4 序函数依赖
第5章 概率关系模型
5.1 概率关系的基本思想
5.2 概率关系及其运算的形式化
5.3 包含空值的概率关系
第6章 对象关系模型
6.1 经典关系理论与面向对象思想
6.2 用于规范化的面向对象数据模型
6.3 面向对象数据模型中的“依赖”
6.4 对象模型“依赖”的公理系统
6.5 对象模型规范化
6.6 对象范式的设计方法
第7章 粗糙关系模型
7.1 粗糙集的基本概念
7.2 粗糙关系数据库
7.3 粗糙关系查询
7.4 粗糙关系运算
7.5 粗糙运算符的性质
7.6 粗糙关系中的信息熵
第8章 关系中的说明性更新
8.1 更新运算
8.2 数据库NDBPTIME变换及相应的图灵机
8.3 动态关系及更新代数
8.4 更新的解
第9章 关系中的相容与蕴含
9.1 问题的提出
9.2 从Rosenkrantz到Ullman再到Gou等人的复杂度研究
9.3 相容问题
9.4 蕴含问题
第10章 关系中的说明性扩充
10.1 模型框架
10.2 “序”、“前辍”、“扩充”与“抽取”
10.3 特定的几何扩充
10.4 几何关系代数实例
10.5 说明性可扩充代数
10.6 可扩充系统的构成
参考文献