第九章
1.关系设计问题:
数据冗余问题,数据更新问题,数据插入问题,数据删除问题。
2.函数依赖:
基本概念:设关系模式R(A1,A2,...,An),X和Y均为{A1,A2,...,An}的子集,r是R的任一具体关系,t1,t2为r中的任意两个元组。如果有t1[X]=t2[X]成立可以推出t1[Y]=t2[Y],则称X依赖于Y。
X依赖于Y但Y不包含X,则称为非平凡依赖函数。
3.推理规则:
设有关系函数R(U,F),U为关系模式R上的属性集,F为R上成立的只涉及U中属性的函数依赖集。
则有(1)自反率即一组函数决定它的所有子集。(2)增广律(3)传递律
合并规则。
分解规则。
伪传递规则。
复合规则。