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所蕴含