属性并包

是属性集闭包吧！下面是我抄自我的教课书上面的，好像没什么用，看不下去就不要看了，呵呵！
定义：设有关系模式R<U,F>，X是U的子集,称所有用公理推出的函数依赖集X→Ai中的属性集为X的属性闭包，记作Xf+.。
公式是指Armstrong公理系统：设U为属性集,F是U上的函数依赖,于是有关系模式R<U,F>。对R<U,F>来说，有一下推理规则
1） 自反律：若Y∈(属于)X∈(属于)U,则X→Y为F所蕴含。
2） 增广律：若X→Y为F所蕴含，且Z∈(属于)U,则XZ→YZ为F所蕴含
3） 传递律：若X→Y及Y→Z为F所蕴含，则X→Z为F所蕴含
他有三条推理规则
1） 合并规则：由X→Y,X→Z,有X→YZ.
2） 伪传递规则：由X→Y,WY→Z，有XW→Z.
3） 分解规则：由X→Y,Z∈(属于)Y,有X→Z