规范化设计理论：数据依赖 范式 模式设计方法 P1164.1关系模式的设计问题

    • 外延DML？
    • 内涵DDL？与时间独立的是对数据的定义和数据完整性约束的定义

    （）
    数据冗余数据异常关系模式有冗余，就分解它。
    寄生元组4.2 函数依赖 Function Dependency FD P118FD：X相同，则Y也一定相同；Y值由X值决定，则说Y函数依赖于X函数
    一一对应关系
    FD的逻辑蕴含FD的推理规则
    4.2.3 FD的推理规则 Armstrong公理4.3关系模式的分解特性4.4关系模式的范式