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

作     者：车敦仁 周立柱 

作者机构：清华大学计算机系软件组 

基　　金：国家自然科学基金 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：1996年第33卷第1期

页      码：32-38页

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

主 题 词：概念代数 数据库 数据模型 知识表示 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 

核心收录：

馆 藏 号：203978089...