概念代数──新一代数据库系统的理论

念代数ＣＡ（ＣｏｎｃｅｐｔＡｌｇｅｂｒａ）是Ｎｉｌｓｓｏｎ教授以格（ｌａｔｔｉｃｅ）理论为数学背景提出的一个新的代数系统。在ＣＡ中，关系范型、ＯＯ范型、逻辑程序设计和框架知识表示获得了统一的表示──概念项（ｃｏｎｃｅｐｔｔｅｒｍ），项进一步组成句子（ｓｅｎｔｅｎｃｅ）。一个完整的知识库就由这样的项和句子组成。推理操作（ｉｎｆｅｒｅｎｃｅｏｐｅｒａｔｉｏｎ）是一组被称为重写规则（ｒｅｗｒｉｔｉｎｇ）的代数公理（ａｌｇｅｂｒａｉｃａｘｉｏｍｓ）。目前的ＣＡ还只是个代数系统雏形，有很多方面有待扩充。本文对概念代数进行综述，并给出初步的扩充。