第一，无解时输出的No redundant FDs.需要有句号，但题目描述中没有。

第二，如果有几个规则如下：

1  A->BC
2  B->D
3  C->E
4  A->DE

那么规则4应该输出1 2 3还是1 3 2？这两个答案的长度相等，但题目没有明确区分。

可以认为规则之间的推导关系形成了一张图，那么任何d推导图上的拓扑排序都应该是一个合法的答案。建议题目明确说明答案的具体选择方法。