参考答案

正确答案：A
解析：在关系模式中，能唯一标识元组的属性集称为超键(Super Key)。不包含多余属性的超键称该属性或属性组为候选码(Candidate Key)，简称码。
根据函数依赖集进行判断。首先排除A、D，因为它们之一是超键的话，则HS、Hl亦是超键，是故其不可能是候选解。进一步的判断可以确定HI不是超键，HS是候选码。