数据库基础（三）

11、函数依赖
对于当前关系r的任意两个元组，如果X值相同，则要求Y值相同；即有一个X值就有一个Y值与之对应，或者说Y值由X值决定

12、规范化过程
关系模式的规范化过程实际上就是一个“分解”的过程：把逻辑上独立的信息放在独立的关系模式中。分解就是解决数据冗余的主要方法，也就是规范化的一条原则：关系模式有冗余问题就分解它。
1NF到2NF消除了非主属性对码的部分函数依赖
2NF到3NF消除了非主属性对码的传递函数依赖
3NF到BCNF消除了主属性对码的部分函数依赖和传递函数依赖

13、模式分解的基本原则
    一个模式先分成两个子模式，判断是无损分解还是有损分解，两个子模式作自然连接来判断是否是先前的模式来判断是否有损
    模式分解的原则：模式分解具有无损连接性、能够保持函数依赖

14、数据库设计方法概述
把数据库应用系统从开始规划、设计、实现、维护到最后被新的系统取代而停止使用的整个期间，称为数据库系统生存期
这个生存期一般可划分为下面7个阶段：规划、需求分析、概念设计、逻辑设计、物理设计、实现、运行

数据库基础（三）最先出现在Python成神之路。