信息表的离散格研究

摘要

定义离散化方案之间的偏序关系以及交、并运算,将一个信息表的各种离散化方案组织成一个格空间,称为离散格,分析了离散格与划分格之间的关系,证明了离散格是一个布尔代数,而划分格不是布尔代数,分析了一类离散化算法,指出这类算法的求解过程正是对离散格的搜索过程。