数据库 关于函数依赖•设有关系模式R(A1,A2,…,An),X和Y均为{A1,A2,…,An}的子集,r是R的任一具体关系,t1、t2是r中的任意两个元组;•如果由t1[X]=t2[X]可以推导出t1[Y]=t2[Y],则称X函数决定Y,或Y
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/19 10:52:34
![数据库 关于函数依赖•设有关系模式R(A1,A2,…,An),X和Y均为{A1,A2,…,An}的子集,r是R的任一具体关系,t1、t2是r中的任意两个元组;•如果由t1[X]=t2[X]可以推导出t1[Y]=t2[Y],则称X函数决定Y,或Y](/uploads/image/z/5890024-64-4.jpg?t=%E6%95%B0%E6%8D%AE%E5%BA%93+%E5%85%B3%E4%BA%8E%E5%87%BD%E6%95%B0%E4%BE%9D%E8%B5%96%26%238226%3B%E8%AE%BE%E6%9C%89%E5%85%B3%E7%B3%BB%E6%A8%A1%E5%BC%8FR%28A1%2CA2%2C%E2%80%A6%2CAn%29%2CX%E5%92%8CY%E5%9D%87%E4%B8%BA%7BA1%2CA2%2C%E2%80%A6%2CAn%7D%E7%9A%84%E5%AD%90%E9%9B%86%2Cr%E6%98%AFR%E7%9A%84%E4%BB%BB%E4%B8%80%E5%85%B7%E4%BD%93%E5%85%B3%E7%B3%BB%2Ct1%E3%80%81t2%E6%98%AFr%E4%B8%AD%E7%9A%84%E4%BB%BB%E6%84%8F%E4%B8%A4%E4%B8%AA%E5%85%83%E7%BB%84%EF%BC%9B%26%238226%3B%E5%A6%82%E6%9E%9C%E7%94%B1t1%5BX%5D%3Dt2%5BX%5D%E5%8F%AF%E4%BB%A5%E6%8E%A8%E5%AF%BC%E5%87%BAt1%5BY%5D%3Dt2%5BY%5D%2C%E5%88%99%E7%A7%B0X%E5%87%BD%E6%95%B0%E5%86%B3%E5%AE%9AY%2C%E6%88%96Y)
数据库 关于函数依赖•设有关系模式R(A1,A2,…,An),X和Y均为{A1,A2,…,An}的子集,r是R的任一具体关系,t1、t2是r中的任意两个元组;•如果由t1[X]=t2[X]可以推导出t1[Y]=t2[Y],则称X函数决定Y,或Y
数据库 关于函数依赖
•设有关系模式R(A1,A2,…,An),X和Y均为{A1,A2,…,An}的子集,r是R的任一具体关系,t1、t2是r中的任意两个元组;
•如果由t1[X]=t2[X]可以推导出t1[Y]=t2[Y],则称X函数决定Y,或Y函数依赖于X,记为X→Y.
•在以上定义中特别要注意,只要
t1[X]=t2[X] t1[Y]=t2[Y]
•成立,就有X→Y.也就是说只有当t1[X]=t2[X]为真,而t1[Y]=t2[Y]为假时,函数依赖X→Y不成立;(而当t1[X]=t2[X]为假时,不管t1[Y]=t2[Y]为真或为假,都有X→Y成立.
数据库 关于函数依赖•设有关系模式R(A1,A2,…,An),X和Y均为{A1,A2,…,An}的子集,r是R的任一具体关系,t1、t2是r中的任意两个元组;•如果由t1[X]=t2[X]可以推导出t1[Y]=t2[Y],则称X函数决定Y,或Y
当t1[X]=t2[X]为假时,说明任意两个元组的X(X可能包含多个字段)都不相等,也就是说X是唯一的,即X能唯一地标识该模式中的元组,所以X就是R的主键.故不管t1[Y]=t2[Y]为真或为假,都有X→Y成立.
可以找一个实例来理比如R(编号,姓名,年龄,学院,班级),X(编号),Y(年龄,班级),r是某一个班级的学生信息,t1(0001,小明,20,工学院,土木本一班),t2(0002,小马,19,工学院,土木本一班),若t1[X]=t2[X]为假,那说明在r中,任意两个学号都不相等,那X就可以作为R的主键,由主键可以确定该关系模式的所有字段,不管其他字段是否相等.
特别要注意函数依赖中“任意”两个字.
PS:好久没看过数据库理论的书了,如果答的不对,请多指教,函数依赖部分是让人比较头疼的地方.