【摘 要】
：
该文介绍了复杂对象逻辑程序设计语言的背景、现状和发展,并对几种主流语言分析了它们的思想、采用的技术和应用范围.在此基础上,文章重点提出了一种新的能处理集合对象的语
论文部分内容阅读
该文介绍了复杂对象逻辑程序设计语言的背景、现状和发展,并对几种主流语言分析了它们的思想、采用的技术和应用范围.在此基础上,文章重点提出了一种新的能处理集合对象的语言-SEDatalog,它是对Datalog语言的集合扩充.SEDatalog注重集合的生成而不是集合的表示.它采用了集合的内涵定义法,用简单的集合型常元来表示一个集合对象.这种集合定义方法会出现无穷集合,为避免因此可能产生的悖论,SEDatalog引入“阶”的概念.该文详细地描述了SEDatalog语言的语法,分析了它的说明性语义和过程性语义.文章还用很大的篇幅证明了系统的合理性与完全性.SEDatalog实现了集合的基本操作,比如集合的成员关系、包含关系、相等关系及集合的交运算、并运算等.另外,我们还讨论了自底向上和自顶向下的两种求值技术使得SEDatalog程序可以有效地在计算机上执行.
其他文献
该文首先介绍了虚拟专用网的基本概念、分类和技术基础;然后对MPLS进行了论述,并对其中的标记分发协议(LDP)和约束路由的标记分发协议(CR-LDP)进行了比较深入的分析;接着重点
互连网的快速发展和人们对多媒体信息日益增长的需求，使得视频点播技术的应用范围越来越广，同时也引起学术界和IT行业的密切关注。本文论述了一种具有良好扩展性的分布式视频点
计算机技术的广泛应用与高级程序设计语言的迅速发展是分不开得的,而高级程序设计语言的实现依赖于编译原理技术的支持.因此,编译程序作为典型的系统软件,在计算机的发展过程
视频数据的巨大数据量、时空两维特性以及内容结构的复杂性使得定义一种能充分反映其各种特征的较好的视频数据模型比较困难.该文将视频数据的逻辑结构抽象为帧、镜头、场景
在信息化时代的今天,计算机的触角已延伸到人们生活的各个角落,许多旧的工作模式正经历一场巨大的革命,影视多媒体信息制作、保存的变革,就是其数字化过程.该文在系统地介绍
该文系统而全面地分析了钻井液数据仓库系统（DrillingFluidsDataWarehouseSystem,DFDWS）的体系结构,建立了DFDWS系统的面向主题的星型模型.特别提出了多维数据模型及基本的操作
自动播出系统必须解决实时控制、实时数据传送和分布式同步时钟系统三个实时性问题.弱实时系统是实时系统的一种简略模型,能够保证实时作业的每一项任务的时限延误率低于某一
多Agent系统是目前计算机科学领域内的一个非常引人注目的研究热点,人们提出了许多非常有价值的关于多Agent理论以及实现的技术方法,但在MAS的多时空思维状态及其实现机理方
近年来，随着分布式人工智能的发展，对Agent技术的研究已经在计算机科学的各个领域中引起了人们广泛的兴趣，很多研究成果已经用于信息的获取、交换等多个研究方向。构造具有自主