1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36
| 非规范化的关系模式 数据冗余 更新异常 插入异常 删除异常
键 候选键:唯一标识元组,且无冗余 主键:候选键任选一个 外键:其他关系的主键 主属性与非主属性:组成候选码的属性就是主属性,其他的是非主属性
求候选键 将关系模式的函数依赖关系用有向图方式表示 找入度为0的属性,并以该属性集合为起点,遍历有向图,如能正常遍历图中所有节点,则该属性集即为关系模式的候选键 若入度为0的属性集不能遍历图中所有节点,则需要尝试将一些中间节点并入入度为0的属性集中,直至该集合能遍历所有节点,集合即为候选键 函数依赖 部分函数依赖:只有存在多个候选键时才会出现 传递函数依赖:关系并不是直接依赖,但也能遍历到关系 Armstrong公理 自反律 增广律 传递律
范式判断 1NF:属性值都是不可分的原子值 在关系模式R中,当且仅当所有域只包含原子值,即每个属性都是不可再分的数据项,则称关系模式R是第一范式 简单属性,复合属性,单值属性,多值属性,NULL属性,派生属性 2NF:消除非主属性对候选键的部分依赖 当且仅当实体E是第一范式,且每一个非主属性完全依赖主键,则称实体E是第二范式 3NF:消除非主属性对候选键的传递依赖 当且仅当实体E是第二范式,且E中没有非主属性传递依赖于码时,则称实体E是第三范式 BCNF:消除主属性对候选键的部分和传递依赖 设R是一个关系模式,F是它的依赖集,R属于BCNF当且仅当其F中每个依赖的决定因素必定包含R的某个候选码
|