闭包概念
在关系模式R<U,F>中为F所逻辑蕴含的函数依赖的全体叫做F的闭包。
R<U,F>中,U为R中的一组属性,F为属性值U上的一组数据依赖(即为函数依赖集)
概念分析
我们先来了解一下概念中提到的几个其他概念。
函数依赖
若对于R(U)的任意一个可能的关系r,r中都不可能存在两个元组在X上的属性值相等,而在Y上的属性值不相等。
我个人理解为:在某种关系中,当你确定了X属性的值,你也就确定了Y属性的值。
就好比如说你确定了某个人的学号,你也就确定了ta的姓名,而当你在另外一行看到这个学号的时候,后面跟着的姓名也必定是你之前得到的那个姓名。
逻辑蕴含
F能推出原本不存在于F中的函数依赖,则该函数依赖为F所逻辑蕴含的函数依赖
可以理解为F中的某些函数依赖能推导出来的函数依赖为F所逻辑蕴含的函数依赖。
就好像是侦探破案的时候,掌握了几条线索,然后根据这几条线索推出来另外的线索,这另外推出来的线索就是之前线索集的逻辑蕴含的线索。
再回来看定义
在关系模式R<U,F>中 为F所逻辑蕴含的函数依赖的全体 叫做F的闭包。
也就是F中能所有的函数依赖以及能推导出来的所有的函数依赖在一起的集合就是F的闭包。