6.4.2 Armstrong公理系统