论文部分内容阅读
<正>用代数规范描述来描述抽象数据类型的基本思想是用它的标记和特征性质来说明抽象数据类型,它们的性质可用多类逻辑形式来表示,通常为受限的一价逻辑,例如等式
代数规范描述及其语义的研究
【摘 要】
：
<正>用代数规范描述来描述抽象数据类型的基本思想是用它的标记和特征性质来说明抽象数据类型,它们的性质可用多类逻辑形式来表示,通常为受限的一价逻辑,例如等式
【机 构】
：
江西师范大学计算机科学系,江西师范大学计算机科学系南昌330027,南昌330027
【出 处】
：
计算机科学
【发表日期】
：
1994年2期
【基金项目】
：
江西省自然科学基金
其他文献
<正>一、引言 随着计算机网络的不断扩展和信息高速公路的建设,信息的安全问题也变得十突出了,所有的信息处理系统和信息交换系统必须具备以下的安全防
<正>一、概述 分布式系统是计算机技术中重要的研究领域。近年来,向下优化(Downsizing)适度优化(Rightsizing)已经成为一种重要的发展潮流,因此研究由多台自治的计算机经
Based on the analysis of the task sizes and the load, this paper discussps the granularity ofrelation spliting in the spliting phase taking acount of task load
<正>一、引言 CASE数据交换模型是CASE环境中工具间进行数据信息交换的关键。为了使ASE工具能够在控制集成、数据集成、显示集成这三方面成为一个整体,工具间的数据交换和
本文主要介绍→ＮＦ关系模型的基本概念，并讨论嵌套关系代数，嵌套范式及嵌套关系的唯一性与最小化等有关→ＮＦ的当前研究概况，结果与进展。
本文主要研究了并行查询中的多进程分配与调度技术，提出了并行查询的数据流执行图模型和并行进程的集中式两级调度模型。数据流执行图模型准确地刻画了并行进程间的同步关系，两
<正>在源代码级上分析程序是软件逆向工程的最基本的任务,其目的是从程序文本中了解程序的高层概念,这主要用于对软件维护的支持,软件可重用知识和部件的获取,以及探测已存在
可视语言是计算机科学和技术的结晶，是一个新兴的研究领域，它与传统的程序设计语言相比较具有明显优势。本文介绍可视语言的发展背景，探讨其主要研究内容，并介绍几个较典型的实现
<正>1.引言 最近的研究表明,数据库系统也可以利用并行处理来提高更大、更复杂查询的效,因为关系操作是面向集合的操作,本身就具有一定的可并行特性,这为查询优化在选择并