第六章 关系数据理论

内容概述

本章介绍了关系规范化理论，包括范式、函数依赖、多值依赖、Armstrong公理系统和推理规则、模式分解。

本章目标

理解规范化的必要性、函数依赖、多值依赖、模式分解的概念。掌握各类关系范式的定义以及采用Armstrong 公理系统进行规范化方法。掌握函数依赖集的闭包，属性集的闭包，极小函数依赖集，候选码的定义及求解方法。理解关系模式分解的目标和意义，掌握模式分解的无损连接性。

重点和难点

重点：掌握函数依赖、多值依赖相关的基本概念，各级范式的定义，Armstrong公理体系和函数依赖的推导规则。掌握属性集闭包、候选键、函数依赖集的最小覆盖求解方法。掌握将给定的关系模式分解为保持函数依赖且具有无损连接的3NF和BCNF的方法。

难点：掌握范式的判定方法，属性集闭包、候选码、最小函数依赖集的概念和求解方法。