工程数据库系统中的知识管理

本文提出了工程数据库系统中的知识管理的概念，将建立在符号对象模型基础之上的知识分为三类：工程策略的管理、存取控制和规则的管理。本文着重讨论了复杂对象推理的特点，建立了从符号对象模型到高阶逻辑，再从高阶逻辑到一阶逻辑的映射，该推理系统支持对象标识符、型继承和语义关系等概念，支持集合和局部不一致数据的处理，能更好地满足工程应用的要求。