属性

是否核心属性

删除后各等价类是否为单元素

是否可约

a

-

b

c

-

d

e

-

h

q