单选题 给定关系模式R(U,F),其中U为属性集,F是U上的一组函数依赖,那么函数依赖的公理系统(Armstrong公理系统)中的分解规则是指( )为F所蕴涵。
【正确答案】 C
【答案解析】函数依赖的推理规则:1、自反律:若YXU,则XY在R上成立。2、增广律:若X→Y在R上成立,且ZU,则XZ→YZ在R上也成立。3、传递律:X→Y和Y→Z在R上成立,则X→Z在R上也成立。4、合并规则:若X→Y和X→Z在R上成立,则X→YZ在R上也成立。5、分解规则:若X→Y和ZY在R上成立,则X→Z在R上也成立。6、伪传递规则:若X→Y和YW→Z在R上成立,则XW→Z在R上也成立。7、复合规则:若X→Y和W→Z在R上成立,则XW→YZ在R上也成立。