第六章 关系数据理论

内容概述

详细讲解关系数据理论，主要是关系数据库规范化理论。包括关系数据库逻辑设计可能出现的问题，数据依赖的基本概念（包括，函数依赖、平凡函数依赖、非平凡的函数依赖、部分函数依赖、完全函数依赖、传递函数依赖的概念；码、候选码、外码的概念和定义；多值依赖的概念），范式的概念、1NF、2NF、3NF、BCNF、4NF的概念和判定方法。数据依赖的Armstrong公理系统。本章内容分为基本要求部分（《概论》6.1-6.3）和高级部分（《概论》6.4）。前者是计算机大学本科学生应该掌握的内容。后者是研究生应该学习掌握的内容。

本章目标

关系数据理论既是关系数据库的重要理论基础也是数据库逻辑设计的理论指南和有力工具。要掌握规范化理论和优化数据库模式设计的方法。

重点和难点

重点：了解什么是一个"不好"的数据库模式。什么是模式的插入异常和删除异常。规范化理论的重要意义。牢固掌握数据依赖的基本概念，范式的概念，从1NF到4NF的定义，规范化的含义和作用。需要举一反三的：四个范式的理解与应用，各个级别范式中存在的问题（插入异常、删除异常、数据冗余）和解决方法。

难点：能够根据应用语义，完整地写出关系模式的数据依赖集合，并能根据数据依赖分析某一个关系模式属于第几范式。各个级别范式的关系及其证明。 本章内容的理论性较强。要通过具体例子和习题练习理解和掌握理论知识。