1.函数依赖的闭包
定义:在关系模式R(U,F)中,U是R的属性全集,F是R上的一组函数依赖。
被F逻辑蕴涵的函数依赖的全集称为F的闭包,记作
eg:设有关系模式R(A,B,C,,G,H,I)及其函数依赖集F={AB,A
C,CG
H,CG
I,B
H}
判断AH,CG
HI,AG
I是否属于
。
解:根据Armstrong公理系统:
(1)AH。有A
B和BH,根据传递性,可推出A
1.函数依赖的闭包
定义:在关系模式R(U,F)中,U是R的属性全集,F是R上的一组函数依赖。
被F逻辑蕴涵的函数依赖的全集称为F的闭包,记作
eg:设有关系模式R(A,B,C,,G,H,I)及其函数依赖集F={AB,A
C,CG
H,CG
I,B
H}
判断AH,CG
HI,AG
I是否属于
。
解:根据Armstrong公理系统:
(1)AH。有A
B和BH,根据传递性,可推出A