规范化理论:如何求属性集X关于F的闭包?

什么是属性集X关于F的闭包? 在关系模式R<U, F>中为F所逻辑蕴涵的函数依赖的全体叫作F的闭包(closure),记做。算法 设F为属性集U上的一组函数依赖,XU,={A|X→A能由F根据Armstrong千米导出},称为属性集X关于函数依赖集F的闭包。数据库   另外,闭包 设F为属性集U上的一组函数依赖,X,YU,X→Y能由F根据Armstrong公理导出的充分必要条件是Y。函数 所以,判
相关文章
相关标签/搜索