设F是属性组U上的一组函数依赖，下列哪一条属于Armstrong公理系统中的基本推理规则（）
举一反三
- 下列关于Armstrong公理系统的叙述中，错误的是（ ）。 A: Armstrong公理系统有效性是指，从函数依赖集F出发，根据Armstrong公理推导出来的每一个函数依赖一定在F的闭包中 B: Armstrong公理系统完备性是指，F+中的每一个函数依赖必定可以由F出发，根据Armstrong公理推导出来 C: 通常把自反律、传递律和增广律统称为Armstrong公理系统 D: Armstrong公理系统中的传递律就是传递函数依赖
- 2. 由关系R出发根据Armstrong公理系统推导出来的每一个函数依赖，一定是R所逻辑蕴含的函数依赖，称之为Armstrong公理系统的__________性；对于R所逻辑蕴含的每一个函数依赖，必定可以由R出发根据Armstrong公理系统推导出来称之为Armstrong公理系统的__________性。
- Armstrong公理系统的推理规则不包括
- 1. 在函数依赖中，平凡函数依赖是可以根据Armstrong推理规则中的__________ 律推出的，Armstrong推理规则中的伪传递规则，可以根据__________ 推出。
- 设F是属性组U上的一组函数依赖，以下( )属于Armstrong公理系统中的基本推理规则。 A: 若X→Y及X→Z为F所逻辑蕴含，则X→YZ为F所逻辑蕴含 B: 若X→Y及Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含 C: 若X→Y及WY→Z为F所逻辑蕴含，则XW→Z为F所逻辑蕴含 D: 若X→Y为F所逻辑蕴含，且Z∈Y，则X→Z为F所逻辑蕴含