Armstrong公理系统最基本的三个推理规则是:()。
出自:计算机科学