计算机四级知识点关系模式的分解思维导图
本思维导图主要总结计算机计算机四级数据库工程师知识点关系模式的分解
树图思维导图提供 计算机四级知识点关系模式的分解思维导图 在线思维导图免费制作，点击“编辑”按钮，可对 计算机四级知识点关系模式的分解思维导图 进行在线思维导图编辑，本思维导图属于思维导图模板主题，文件编号是：c9ad9a0a0bcfeb90277b0b5ddb7d66df
思维导图大纲
计算机四级知识点关系模式的分解思维导图模板大纲
无损分解：
对关系模式分解时，原关系模式的任何一个合法的关系值在分解之后应该能通过自然连接运算恢复起来
属性集的闭包 F+：
设 F 为一个函数依赖集，F 的闭包是指 F 逻辑蕴涵的所有函数依赖集合。F 的闭包记作 F+。
Armstrong 公理
设 U 为属性总体集合，F 为 U 上的一组函数依赖集，对于关系模式 R（U，F），X、Y、Z 为属性 U 的子集，有下列推理规则。
基本公理：
1. 自反律：
如果 Y∈X∈U，则 X→Y 成立。（平凡函数依赖）；
2. 增广律：
如果 X→Y 在 R(U)成立，且 Z∈U，则 XZ→YZ 成立；
3. 传递律：
如果 X→Y，Y→Z 成立，则 X→Z 成立。
推理规则：
1. 合并：
{X→Y，X→Z}，则 X→YZ；
2. 分解：
{X→Y，Z∈Y}，则 X→Z（或：X→YZ，那么 X→Y，X→Z）；
3. 伪传递：
{X→Y,YW→Z}，则 WX→Z；
4. 复合：
{X→Y，W→Z},则 XW→YZ；
5. 自积律：
{X→YZ，Z→W}，则 X→YZW。
无损分解的判断：
如果分解成两个 R1,R2，则如果 R1∩R2 是 R1 或 R2 的超码，则 R 上的分解(R1，R2)是无损分解。
保持依赖的判断:
如果 F 上的每一个函数依赖都在其分解后的某一个关系上成立，则这个分解是保持依赖的。
若要求到达分解具有无损连接性那么模式分解一定可以达到 BCNF，并进一步达到 4NF；若要求分解函数依赖，那么 模式分解可以达到 3NF，但不一定能够达到 BCNF；若要求分解既具有无损连接性，又保持函数依赖，则模式分解可 以达到 3NF，但不一定能达到 BCNF
相关思维导图模板
树图思维导图提供 计算机四级知识点计算机基础思维导图 在线思维导图免费制作，点击“编辑”按钮，可对 计算机四级知识点计算机基础思维导图 进行在线思维导图编辑，本思维导图属于思维导图模板主题，文件编号是：3b64e8d42af63d8b6856b37dd7573066
树图思维导图提供 计算机四级知识点函数依赖与数据库设计思维导图 在线思维导图免费制作，点击“编辑”按钮，可对 计算机四级知识点函数依赖与数据库设计思维导图 进行在线思维导图编辑，本思维导图属于思维导图模板主题，文件编号是：d22a62d7549c79b96afe6b532c7ce8a1
沪公网安备 31011502019485号
上海工商