- 博客(2)
- 收藏
- 关注
RSS订阅原创 关于判断含有多个候选码的关系模式是否是2NF（个人笔记）
在理解2NF上有必要先认识到在关系数据库中完全函数依赖、部分函数依赖、候选码、主属性和非主属性的概念。完全函数依赖:在关系模式R(U)中，如果存在X->Y(X里的属性可以一个或一组),而X属性里的任何一个真子集x’,都有x’-->Y(不能决定Y)，则Y对X完全函数依赖。部分函数依赖：在关系模式R(U)中，如果存在X->Y，Y不完全依赖于X（X的属性中有一个或一组不存在也...
2020-04-16 23:06:51
4695
原创 关于数据依赖的公理系统之Armstrong公理系统推理证明
对于满足一组函数依赖F的关系模式R<U,F>，其任何一个关系r，若函数依赖X->Y都成立，则称F逻辑蕴涵X->Y。对上述逻辑蕴涵的解释：在一个关系模式中，U为关系模式R属性集总体，F为关系模式R属性集U上的一组函数依赖，例如U(A,B,C),F[A->B,A->C]，根据此条件能推导出在关系模式中任何一个关系AB->C的函数依赖，这样便称为F逻辑蕴涵...
2020-04-14 14:54:36
3317
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人