【摘 要】
:
<正> 一、引言数据库技术自出现以来一直以惊人的速度发展。它在商业应用中的成功奠定了其重要地位。七十年代后期,人们已不满足于对关系数据库的研究,很多学者试图从逻辑的
论文部分内容阅读
<正> 一、引言数据库技术自出现以来一直以惊人的速度发展。它在商业应用中的成功奠定了其重要地位。七十年代后期,人们已不满足于对关系数据库的研究,很多学者试图从逻辑的观点出发,以数理逻辑作为理论基础来研究数据库。这一尝试导致了八十年代前半期演绎数据库的迅速发展。这一时期的研究成果为新一代数据库技术的研究和发展铺设了一条道路。几乎是在数据库技术取得交口赞誉的同时,人们就已注意到了这些传统技术的局限
其他文献
病态窦房结综合征(简称病窦综合征),本病为窦房结及其邻近组织(有时也累及房室结)的病变,出现起搏功能和(或)冲动传出障碍而致的一系列的心律失常,引起头昏、眼朦、一过性意识障碍及晕
目的探讨减少妊高征患者产后早期出血的有效方法。方法将68例妊高征临产妇分为两组,观察组34例于胎儿娩出后口服米索前列醇600μg加缩宫素20Iu静滴,对照组34例在胎儿娩出后静滴
决策支持领域已有十多年的历史了。过去十年中,信息技术的成本和特征已发生了巨大变化。以计算机为基础的工具已遍布整个办公室环境。决策支持在1976年还只代表一种运用信息
<正>软件重用被认为是软件工程中极有前途的发展方向,对于提高软件生产率和软件质量有重要意义。目前,软件重用研究工作主要从方法学、工程和技术三方面进行。软件重用方法学
本文全面介绍了Jackson方法的主要思想及其形成过程,并对该方法作了简要评述。同时,针对国内研究中的有关提法进行商榷.最后,谈到了支持Jackson方法的软件开发环境.
一、编译程序测试的目标和特点对软件系统进行测试的主要方法是通过设计测试实例,执行程序和分析运行结果来发现软件系统的错误。编译程序测试的方法与上述方法相同,但编译程序测试的依据是语言标准文本,而不是通常的软件规格说明;测试实例是由一组源程序组成,而不是一
在现代自动化生产系统,指挥控制系绕和人工智能系统中,所用的信息是不确定的。已经发展了两类表示不确定信息的方法,即数值的和非数值的方法。本文对数值法中最常用的方法,包
原型化开发方法是一种新型的软件开发手段,但是需要一定的开发环境和工具来支持。本文在分析、比较传统软件开发方法(即软件生存期法)与原型法的特点的基础上,着重阐述了利用
尽管关于机器能否有智能的问题一直存在着争议,但三十年来,人工智能这门学科却仍然获得了很大的发展。那么它是怎样发展起来的,当前的研究动向又如何?显然,这些对今后规划人