标签: Armstrong公理系统 (1)