设X Y为关系 R中的两个属性集 若Y完全函数依赖X 则是指Y函数依赖于X而并不函数依赖于X中任一

● 给定关系模式 （) F U R ， ，其中U 为关系R属性集，F 是U 上的一组函数依赖，若 Y X → ， （42） 是

（32）设关系 R 和 S 具有公共属性集 Y，当执行 R S 时，会丢弃那些在 Y 属性上没有匹配值的元组。如

在一个关系 R 中 若属性集 X 函数决定属性集 y 则记作为 X→y 称 X 为决定因素。

设R(U)是在属性U上的关系模式 X Y是U的子集 若对于R(U)的任意一个可能的关系r r中的任意两个元组

设R(U)是属性集U上的关系模式。X Y是EU的子集。若对于R(U)的任意一个可能的关系 R R中不可能存在两

设 R 为非空集合上的关系. 如果 R 是自反的 对称的和传递的 则称 R 为 A 上的等价关系. 设 R 是一个等价关系 若 ∈R 称 x 等价于y 记做 x~y.()