论文部分内容阅读
非单调推理十年进展
【出 处】
：
计算机科学
【发表日期】
：
1990年6期
其他文献
<正> 4.含CUT的PROLOG语义 4.1 语言成份“cut”前面所讨论的PROLOG解释程序简单控制策略的问题之一是在子树中进行大量的回溯搜索有可能没有解(在极端情况下,对无限树形结构
我国的操作系统教学体系基本上来源于七十年代前期 Madnick 和 Donovan 的体系。十几年来,由于操作系统及其应用环境的发展,这种教学体系已暴露出一些问题。本文从历史的角度
这篇文章试图定义面向对象的数据库系统。它描述了作为一个合格的面向对象的数据库系统所应具备的主要性质和特征。我们把这些特性分成了三组: ·必备的:被称作面向对象
Version Management (VM) provides mechanisms for storing, acces sing and inquirying each version, reducing space costs and recording modification information. An
一、引言最近几年,面向对象的数据模型日益得到人们的普遍重视,主要原因是面向对象的数据模型为人们提供了表达信息的高度抽象方法,和人们对信息的看法极为接近。面向对象的模型主要用于复杂的应用中,例如计算机辅助设计(CAD)/制造(CAM),办公信息系统(OIS),人工智能(AI)及计算机辅助软件工程(CASE)中。目前已经出现了许多面向对象的数据模型,这些模型都是基于某些特定环境提出的,例如 Gemst
语义数据模型是适应更强表达能力的概念数据模型的需要而产生的。当代的数据模型不能直接支持联系、数据抽象、继承性、约束、非结构对象,及应用的动态特性等.尽管普遍认为数