第一范式 第二范式 第三范式 BCNF 第五范式
text tetexxtt
范式间的关系
4.3.2 第一范式(1NF)
若关系R的每一个属性值为单一的, 则R属于第一阶规 范化形式, 简称为1NF。
下面是一个不符合第一范式的关系:
商店编号 商店名称
地址
电话
商品名称 大类编号 大类名
价格
1001
华联超市 淮海中路 64331269 苹果、葡萄、 0101
③ 属性X与Y有m:n的联系,则X与Y之 间不存在函数依赖关系。
4.2.7函数依赖与属性关系
③ 函数依赖不是指关系模式R的某个或某 些关系实例满足的约束条件,而是指 关系模式R的所有实例均要满足的约束 条件。
④ 当XY时,Y值由X值决定,X也称为 决定因素
4.2.8 Armstrong公理
从已知的一些函数依赖,可以推导出另外一 些函数依赖,这就需要一系列推理规则。函 数依赖的推理规则最早出现在1974年 W.W.Armstrong 的论文里,这些规则常 被称作“Armstrong 公理”,该公理成为 关系模式分解的算法基础。
4.1 问题的提出
设有如下学生成绩表,用关系S表示:
S(学号# , 姓名, 性别, 课号 #, 课程名, 成绩 )
主码为(学号,课号)
该关系模型存在如下问题
⑴ 数据冗余 ⑵ 不一致性━━比如可能只更新部分字段。 ⑶ 插入异常━━若某学生未选课程,则无法插入学 生基本信息,因为主码属性课号不能为空。 ⑷ 删除异常━━若删所有成绩时,把学生所有属性 也删了。
4.2.1函数依赖的基本定义
S(学号, 姓名, 性别, 课号, 课程名, 成绩)
学号→姓名
学号→性别 课号→课程名