1989年, 第15卷, 第01期　刊出日期：

  

• 全选
  |

论文
• Select
  演绎数据库线性递归查询的快速算法

  杜小勇

  . 1989, 15(01): 3-9.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  递归查询处理是近年来数据库界普遍关心的问题。本文针对数据库递归查询计算问题的一个子类——线性递归查询计算问题进行了讨论。本文首先证明了线性递归系统都是由所谓独立规则组成的。然后分析了现有的几种算法,提出了这类问题的一个更加有效的算法,使得算法在重复计算量、选择条件使用、连接运算次数等几个方面都有所改进。提高了这类问题的计算效率。
• Select
  论推理动机性

  鲁汉榕

  . 1989, 15(01): 10.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文研究逻辑程序实现的推理动机性问题,并提出几种改善推理动机性的思想。
• Select
  局部网络的两个新概念和令牌总线令牌环的可比性能模型初探

  冯龙

  . 1989, 15(01): 13-19.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文初步提出了计算机局部网络的控制结构概念和位长度系列概念。认为控制结构和拓扑结构是局部网络结构中两个逻辑上平行的子结构。位长度系列概念刻划了网络有效通信、无效通信、视在通信等过程和通信效率。利用该概念中的位长度因素及系统分解的方法,本文推导了令牌总线、令牌环的简单可比性能模型。模型表明,在大多数场合,令牌环数据吞吐能力高于令牌总线。 本文还推导丁环和总线拓扑的平均传输延迟的计算公式。
• Select
  基于语法的多级视图模型设计

  马学强,施伯乐

  . 1989, 15(01): 20-24.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文先对Cout进行层次分类,按用户的操作需求,给出了一个可查询,可删除,可插入的三级视图模型。对Q我们采用了“准确实现”的性质。然后对三级模型逐级讨论。为实现高效起见,我们讨论的Cin是基于数据库语法的,即用函数依赖和子集约束来描述,因此相应的转换器工作时不需扫描整个数据库。在讨论Cin时,我们引入了一个新的概念:R-trace,我们发现用关系代数及R-trace概念可以很准确、简洁地表述我们的视图构造条件。在分析了Cin的基础上,我们给出了各级视图的具体的满足Q的转换策略T。 最后,我们得出三级视图模型的一些有趣的性质,并通过一个实例,展示了本文所得结果在视图设计中的应用。
• Select
  新型模糊推理语言f-PROLOG

  刘东波,李德毅,陈桂明

  . 1989, 15(01): 25-29.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  PROLOG是建立在Horn子句逻辑之上的人工智能语言。对于定性的逻辑推理,它在专家系统、模式识别、自然语言理解等人工智能研究领域发挥了重要作用。但是在进行模糊推理时,基于二值逻辑的PROLOG语言就变得暗淡失色了。为此,我们建立了一套基于f-Horn子句规则有限集的模糊推理理论,并在此基础上开发了一种模糊PROLOG语言。f-PROLOG是一种支持模糊推理的人工智能语言,且保持了模式匹配、回溯等特点。
• Select
  系统MDDBMS的分片透明性

  陈旭东

  . 1989, 15(01): 30-36.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文描述了一个基于微机局部网的分布式数据库管理系统MDDBMS的分片透明性问题,它涉及分片定义,查询处理,离网查询优化及更新问题。分片模式包括混合分片,它从全局模式经由一系列的分片操作(垂直、水平和导出水平分片)得到。一个查询操作被转化为一棵操作树,然后对它进行优化和模拟执行。基于一系列定理和推论,本文提出了一个与网络无关的优化算法。
• Select
  演绎数据库系统EMTL及其应用

  徐洁磐,魏红

  . 1989, 15(01): 37-43.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文介绍了演绎数据库系统EMTL的功能以及用它设计的两个应用实例,分析了EMTL语言作为DDBS语言的能力,并就用EMTL开发应用系统中的一些问题作了简单的讨论,给出了我们的看法。
• Select
  海上微波传输系统设计专家系统

  王乘风

  . 1989, 15(01): 44-53.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文应用专家系统的理论与方法,结合海上微波传输系统设计技术和经验,建立起海上微波传输系统设计专家系统(Expert System for Designing Maritime Microwave Transmission System,简称ESDMMS)。应用实验的结果表明:ESDMMS较之目前工程设计中使用的计算机辅助设计系统(CAD)有着较强的分析、推理和解算功能,并具有一定的自学习能力。
• Select
  GAG系统在软件测试中的应用

  谈乾康

  . 1989, 15(01): 54-60.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  数据流分析技术能用于软件测试中的错误和异常诊断,而GAG系统是构造数据流分析技术的有用工具。本文介绍使用GAG系统实现静态分析的一个设计方案。
• Select
  维也纳开发方法(VDM)介绍

  陈爱国,陈涵生

  . 1989, 15(01): 61.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  VDM是一种系统地开发大型软件的方法,本文讨论这种方法的四要素:形式化的规范说明,基于变换的分阶段系统实现,正确性证明和抽象原理。
• Select
  逻辑图计算机辅助设计

  平玲娣,潘雪增,吴舟,蒋建东

  . 1989, 15(01): 70-74.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文介绍了逻辑图计算机辅助设计,重点论述逻辑图设计接受器,该接受器和自动生成连线表算法结合在一起,在IBM PC机上得以实现。