1.列表月域包含大写的字母（只能是单个字母）

2.No redundant FDs. 有句号

3.题目没有说输出冗余依赖的顺序，也没说有多个最短的证明序列的情况该怎么处理

……