数据库
文章平均质量分 52
秃头小码农~
敲代码~
展开
-
Armstrong公理证明
A1(自反性)证明:因为若t[X] = s[X],Y⊆X,则可推出t[Y] = s[Y],所以:X→YA2(增广性)证明:若 t[XZ] = s[XZ], 则应有t[X] = s[X], t[Z] = s[Z],若t[YZ] = s[YZ], 则应有t[Y] = s[Y], t[Z] = s[Z]。由X→Y可知若 t[X] = s[X], 则一定有 t[Y] = s[Y]所以,若t[XZ] = s[XZ],则一定可以推出t[YZ] = s[YZ],所以,XZ→YZ。A3(传递原创 2022-04-28 16:39:29 · 2193 阅读 · 3 评论 -
5.2 函数依赖
1. 函数依赖的定义定义1:设有关系模式R(U),X和Y是属性集U的子集,函数依赖(Functional Dependency, FD )是形为X→Y的一个命题,只要r是R的当前关系,对r中任意两个元组t和s,都有t[X] = s[X]蕴含t[Y] = s[Y], 那么FD X→Y在关系模式R(U)中成立。t[X]表示元组t在属性集X上的值。X→Y读作X函数决定Y,或Y函数依赖X定义2:设F是在关系模式R(U)上成立的函数依赖集,X和Y是属性集U的子集。如果从F推导出X→Y也在R(U原创 2022-04-28 12:15:55 · 2951 阅读 · 0 评论 -
5.1 关系模式的设计问题
1.关系模式的外延和内涵一个关系模型包含外延和内涵两个方面的内容。外延就是所说的关系,表和当前值。内涵是对数据的定义和对数据完整性约束的定义。静态约束:涉及数据之间的联系(称为数据依赖,主值和值域的设计)。动态约束:定义各种操作(插入、删除、修改)对关系值的影响。2.泛关系模式与数据库模式数据冗余是指同一个数据在系统上多次重复出现。以下用一个关系r来说明操作异常R(SNO, CNO, CNAME, TNAME)修改异常:如果想要修改某一门课的老师的姓名,如果表中有原创 2022-04-28 09:44:49 · 1517 阅读 · 0 评论