折半属性约简相关论文