软件设计师-数据流图(DFD)专题讲解.ppt

软件设计师考试

之数据库专题;0试题考点分析;0试题考点分析;0试题考点分析;0试题考点分析;0试题考点分析;1上午考点与试题;什么是Armstrong公理系统？

为从已知的函数依赖推导出其他的函数依赖，Armstrong提出了一套推理规则，称为Armstrong公理(Armstrong’sAxioms)。

;什么是Armstrong公理系统规则？

公理包含如下三条推理规则：

(1)自反律：若Y?X?U，则X→Y。

(2)增广律：若X→Y，Z?U，则XZ→YZ。

(3)传递律：若X→Y和Y→Z，则X→Z。

以上X、Y、Z表示属性集，XY表示X与Y的并集

(4)合并规则：如果X→Y，X→Z，则X→YZ。

(5)伪传递规则：如果X→Y，YW→Z，则XW→Z。

(6)分解规则：如果X→Y，Z?Y，则X→Z。或：如X→YZ，则X→Y，X→Z。

(7)复合规则：如果X→Y，W→Z,则XW→YZ

;设关系模式R（A，B，C），下列结论错误的是__(45)___。

（45）A．若A→B，B→C，则A→C

B．若A→B，A→C，则A→BC

C．若BC→A，则B→A，C→A

D．若B→A，C→A，则BC→A

考点：Armstrong推理规则;例：（2002年上午试题40、41）关系R、S如下表所示，