数据库必考题目~最小依赖集（最小覆盖、极小函数依赖集）

一、定义：
如果函数依赖集F满足下列3个条件，则称F为最小依赖集：
（1）F中任一函数依赖的右部仅含有一个属性
（2）F中不存在这样的函数依赖X→A，使得F与F-{X→A}等价
（3）F中不存在这样的函数依赖X→A，X有真子集Z使得F-{X→A}∪{Z→A}与F等价
二、步骤：
（1）右部最小化：右切，使每个函数依赖的右部仅有一个属性
（2）规则最小化：除本求包（对每个函数依赖的左部做除本求包，求包的结果如果不包含本函数依赖的右部，本函数依赖保留；求包的结果如果包含了本函数依赖的右部，删除本函数依赖）
（3）左部最小化
三、例题：已知关系模式R（U，F），U={A，B，C，D，E，F，G}，F={BCD→A，BC→E，A→F，F→G，C→D，A→G}，求F的最小函数依赖集。

四、例题：设F={C→A，CG→D，CG→B，CE→A，ACD→B}，求最小函数依赖集