数据库中最小函数依赖集的求解。非常值得一看。