armstrong公理系统

Armstrong公理系统是关于关系代数的一组公理，用于推导关系代数表达式的价关系。Armstrong理系统由三个理和三个推论组成，分别是：

1. 自反律：如果X是关系R的属性集，则X可以推导出X。

2. 增广律：如果X可以推导出Y，则XZ也可以推导出YZ。

3. 传递律：如果X可以推导出Y，Y可以推导出Z，则X可以推导出Z。

推论：

1. 拆分律：如果X可以推导出Y和Z，则X可以推导出Y和X可以推导出Z。

2. 合并律：如果X可以推导出Y，Y可以推导出Z，则X和Y并集可以推导出Z。

3. 伴随律：如果X可以推导出Y，则R(X)包含R(Y)。

这些公理和推论可以用来推导关系代数表达式的等价关系，从而简化关系代数表达式。