Since conditional attribute set has been an algebraic consistent set, it can guarantee to obtain a reduction by top-bottom strategy to eliminate reducible attributes.

• 由于所有条件属性集已是一个代数协调集，采用自顶而下逐步删除可约属性的策略，提出一种基于数据库系统求代数约简的算法。