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