非经典关系数据库理论

第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 约束线性时间序列

第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 可扩充系统的构成参考文献

本书系统介绍了非经典关系数据库理论的国际前沿成果及作者本人的研究成果，内容包括约束关系模型、时态关系模型、空值关系模型、偏序关系模型、概率关系模型、对象关系模型、粗糙关系模型、关系中的说明性更新、关系中的相容与蕴含及关系中的说明性扩充等。 本书是数据库领域的学术专著，可作为高等院校计算机专业研究生或本科高年级学生的教材，也可作为相关专业科技工作者的参考书，对一般数据库的研究及教学有很大的参考价值。