首页 > 编程知识 正文

多值依赖具有传递性证明,多值依赖的例子

时间:2023-05-03 07:03:09 阅读:163007 作者:890

多值依存的第一种形式定义文本定义将r(u )作为属性集u上的关系模式。 x、y、z为u的子集,其中Z=U-X-Y。 关系模型r(u )中的多值依存XY成立,并且只对于r ) u )中的任意一个关系r,被给定的对) x,z )的值具有与z的值无关,只由x值决定的y值的组

理解

如图所示,课程c可以给出教师t和参考书b的多个值。 其中,c,t,-B,其中,如果b与t的可取值没有任何关系,则称为C--B。 在这里,c、t、b不再是一个值,而是表示一个集合。 (c,b )-T,其中,如果t与b没有任何关系,则c-t表示依赖于多个值的第一位。 s(x )=s ) x ),则元组w,v(r,) w,v可以与s,t相同),w ) x )=t ) x ),且w(y,w ) z ) s )

理解如图所示归一化的二维表Teaching

在r(u )的任何关系r中,如果存在元组t,则s将t(x )=s (x ) )

如图所示,t[x]=s[x]。 其中,t、s相当于图中的t、s行,t[x]表示x列,表示t行与s行的x列的值相等。

那么必定存在元组w,vr,(w,v可以与s,t相同) ),w[X]=v[X]=t[X]。

这意味着w存在,v行的第x列的值也等于t[x]。

另一方面,w[Y]=t[Y],w[Z]=s[Z],v[Y]=s[Y],v[Z]=t[Z] (即,通过交换s,t组的y值获得的两个新组,必须在r中其中x,y是u的子集,Z=U-X-Y。

如这句话所示,y表示教师t的队列,在交换了t行野性之石和s行的jddrg后,集合u中存在与交换值后的t行和s行相等的组。

这叫做X--Y

版权声明:该文观点仅代表作者本人。处理文章:请发送邮件至 三1五14八八95#扣扣.com 举报,一经查实,本站将立刻删除。