Armstrong公理系统的三条推理规则是自反律、增广律和()
出自:计算机科学