名词解释

【参考答案】

被逻辑蕴涵的函数依赖的全体构成的集合,称为F的闭包(closurE.,记为F+。