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