计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (22): 165-169.

• 数据库与信息处理 • 上一篇    下一篇

概念格属性约简的判定

张东晓1,王国俊2,3   

  1. 1.集美大学 理学院,福建 厦门 361021
    2.陕西师范大学 数学与信息科学学院,西安 710062
    3.西安交通大学 基础研究中心,西安 710049
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-08-01 发布日期:2007-08-01
  • 通讯作者: 张东晓

Decision of the attribute reductivity about concept lattices

ZHANG Dong-xiao1,WANG Guo-jun2,3   

  1. 1.School of Science,Jimei University,Xiamen,Fujian 361021,China
    2.College of Mathematics and Information Science,Shaanxi Normal Uniersity,Xi’an 710062,China
    3.Research Center for Science,Xi’an Jiaotong University,Xi’an 710049,China
  • Received:1900-01-01 Revised:1900-01-01 Online:2007-08-01 Published:2007-08-01
  • Contact: ZHANG Dong-xiao

摘要: 引入Galois联络,利用Galois联络深入研究了概念格的基本性质。指出概念格同构是格同构。为了寻求更为简洁、合理的约简算法,在更一般的形式背景(即对象集和属性集有限或无限)中,给出协调集的四类判定定理,将已有结果做了推广而且丰富了协调集的判定。举例说明在一般的形式背景中,约简不一定存在。

关键词: 形式背景, 概念格, 属性约简, 协调集

Abstract: Introduces the concept of Galois connection by which concept lattices are studied further.The two concept lattices which are concept lattice isomorphic with each other are lattice isomorphic with each other.In order to find out more concise and reasonable reduction algorithm,four kinds of decision theorems of consistent set are proposed in general formal context(i.e.attribute sets and object sets are finite or infinite),which generalize the present results.It is illustrated by an example that the reduction needs not exist in general formal context.

Key words: formal context, concept lattice, attribute reduction, consistent set