2、 Armstrong公理系统 Armstrong公理系统:-套推理规则,是模式分解算法的理论基础; 关系模式R<U,F>来说有以下的推理规则: A1.自反律( Reflexivity):若YcⅩgU,则X→}为F蕴藴含。 A2增广律( Augmentation):若X→Y为斤所蕴含,且zU, 则ⅩZ→YZ为「蕴含 A3传递律( Transitivity):若X→Y及γ→z为斤蕴含,则Ⅹ→z 为斤所蕴含。2、Armstrong公理系统 Armstrong公理系统:一套推理规则,是模式分解算法的理论基础; 关系模式R <U,F >来说有以下的推理规则: ◦ A1.自反律(Reflexivity):若Y X U,则X →Y为F所蕴含。 ◦ A2.增广律(Augmentation):若X→Y为F所蕴含,且Z U, 则XZ→YZ为F所蕴含。 ◦ A3.传递律(Transitivity):若X→Y及Y→Z为F所蕴含,则X→Z 为F所蕴含