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

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

OODB的模式演进

模式演进是数据库系统的一项重要功能,它对于非传统数据库应用(如CAD/CAM、CASE等)显得尤为重要,然而旨在支持非传统数据库应用的OODB恰又因其模型与模式过于复杂,对模式演进的支持不够充分,因而实现极为困难。本文对OODB的模式演进方法进行了综述,并主要介绍了MIDS系统的模式演进方法。