上传宝贝网站建设属于什么类目,网页升级紧急通知直播,美食网站建设策划书,iis6 建设网站浏览设R(U)是一个属性集U上的关系模式#xff0c;X和Y是U的子集。若对于R(U)的任意一个可能的关系r#xff0c;r 中不可能存在两个元组在X上的属性值相等#xff0c; 而在Y上的属性值不等#xff0c; 则称“X函数确定Y”或“Y函数依赖于X”#xff0c;记作X→Y。
X→Y#x…设R(U)是一个属性集U上的关系模式X和Y是U的子集。若对于R(U)的任意一个可能的关系rr 中不可能存在两个元组在X上的属性值相等 而在Y上的属性值不等 则称“X函数确定Y”或“Y函数依赖于X”记作X→Y。
X→Y但Y⊈X则称X→Y是非平凡的函数依赖。
X→Y但Y⊆X 则称X→Y是平凡的函数依赖。
对于任一关系模式平凡函数依赖都是必然成立的它不反映新的语义。若不特别声明 我们总是讨论非平凡函数依赖。
若X→Y则X称为这个函数依赖的决定因素Determinant。 若X→YY→X则记作X←→Y。 若Y不函数依赖于X则记作X↛Y。
定义6.2 在R(U)中如果X→Y并且对于X的任何一个真子集X’, 都有 X’ ↛ Y, 则称Y对X完全函数依赖记作X f→ Y。 若X→Y但Y不完全函数依赖于X则称Y对X部分函数依赖记作X p→ Y
定义6.3 在R(U)中如果X→Y(Y⊈X)Y↛XY→ZZ⊈Y, 则称Z对X传递函数依赖(transitive functional dependency)。记为X → Z。 注: 如果Y→X, 即X←→Y则Z直接依赖于X而不是传递函数依赖。 [例] 在关系Std(Sno, Sdept, Mname)中有 Sno → SdeptSdept → Mname Mname传递函数依赖于Sno
