论文部分内容阅读
该文着重介绍了关系数据库中限制性知识的一种新的表示方法——规则表示法及其实施过程。规则表示法是以大型知识库管理系统QKBMS／75的逻辑语言QLOG为支持，实现对关系数据库QINGDA中限制性知识的表示和实施。在传统的关系数据库中也有各自的表示限制性知识方法，但是，由于查询语言本身的限制，只能表达较简单的限制性要求。而规则表示却具有表达灵活，功能完善，修改方便等特点。特别是它能表达递归要求等各种极复杂的限制要求。为了实现规则表示法，该文引入了一种新型谓词——“半预定义”谓词。（本刊录）