计算机科学

林作铨李未

计算机科学. 1994, 21 (6): 1-7.

摘要 ( 64 )

PDF(259KB) ( 243 )

相关文章 | 多维度评价

这是关于超协调逻辑研究的第二篇。文中，基于对超协调逻辑应具有一定共性的理解，给出一个超协调逻辑的新定义，并给出在应用研究中提出的三类有代表性的新超协调逻辑，由于它们满足共同的逻辑性质，从而有一定的关系，特别是，它们与非单调逻辑密切有关，因此进一步提出一种相对于超协调性的超完全逻辑的定义与结果。

带类型λ—演算

杨祥金

计算机科学. 1994, 21 (6): 7-10.

摘要 ( 226 )

PDF(135KB) ( 315 )

相关文章 | 多维度评价

基于Z的协议形式描述与验证

李腊元

计算机科学. 1994, 21 (6): 11-15.

摘要 ( 71 )

PDF(175KB) ( 274 )

相关文章 | 多维度评价

智能机理与软计算

苏运霖

计算机科学. 1994, 21 (6): 16-18.

摘要 ( 50 )

PDF(140KB) ( 211 )

相关文章 | 多维度评价

数据库管理系统的未来研究方向—从拉古纳海滩到维也纳

周龙骧

计算机科学. 1994, 21 (6): 19-22.

摘要 ( 58 )

PDF(153KB) ( 257 )

相关文章 | 多维度评价

１９９３年８月在爱尔兰首都都柏林举行了第１９届国际超大型数据库会议（ＶＬＤＢ９３）。会议的一个特邀报告是Ｍ．Ｓｔｏｎｅｂｒａｋｅｒ所作的“处于十字路口的ＤＢＭＳ研究：维也纳修改意见”。该报告回顾了１９８８年２月美国加州拉古纳海滩讨论会以来ＤＢＭＳ研究方向的情况和变化，提出了今后最有希望的研究方向和被认为是误导的研究方向。该文表达了一批美、德资深学者对ＤＢＭＳ研究方向的看法，显然对我国学者的研究工作

并行数据库系统：目标,体系结构及研究方向

廖朝晖张鹏

计算机科学. 1994, 21 (6): 23-28.

摘要 ( 56 )

PDF(249KB) ( 251 )

相关文章 | 多维度评价

本文主要参考《ＤｉｓｔｒｉｂｕｔｅｄａｎｄＰａｒａｌｌｅｌＤａｔａｂａｓｅＳｙｓｔｅｍ》杂志１９９３年第４期上刊登的论文“ＰａｒａｌｌｅｌＤＢｓ：ＯｐｅｎＰｒｏｂｌｅｍｓａｎｄＮｅｗＩｓｓｕｅｓ”并结合自己的研究工作综合编写而成。全文综述了并行数据库系统的目标、体系结构及尚未解决的问题。

复杂对象及嵌套关系的语言完备性问题

聂培尧

计算机科学. 1994, 21 (6): 29-35.

摘要 ( 43 )

PDF(271KB) ( 242 )

相关文章 | 多维度评价

最近，嵌套关系模型语言及复杂对象语言的研究已引起人们的广泛重视。这些语言有些是代数结构的，有些是基于演算的，还有的是面向逻辑程序设计的。本文将介绍这些语言的发展概况、最新研究结果以及语言的表达能力，并就其完备性问题进行了讨论。

时态演绎数据库—模型与查询语言

彭铭戴军

计算机科学. 1994, 21 (6): 36-42.

摘要 ( 53 )

PDF(241KB) ( 338 )

相关文章 | 多维度评价

一种混合调度协议

程勋楼荣生

计算机科学. 1994, 21 (6): 43-47.

摘要 ( 51 )

PDF(205KB) ( 276 )

相关文章 | 多维度评价

异种数据库互操作性：概念及面临的问题

唐雪飞熊萍

计算机科学. 1994, 21 (6): 48-51.

摘要 ( 78 )

PDF(156KB) ( 286 )

相关文章 | 多维度评价

数据库互操作性所研究的是如何提供对计算机网络环境中的异种多数据库进行透明访问的方法。本文介绍了数据库互操作性的概念和特征，并与其它数据库访问机制进行了比较。文中还重点分析了数据库互操作性所面临的问题。

可互操作数据库平台的实现途径

唐雪飞熊萍

计算机科学. 1994, 21 (6): 52-54.

摘要 ( 54 )

PDF(161KB) ( 264 )

相关文章 | 多维度评价

如何实现数据库互操作性，目前正在从两个方面进行努力：一是发展标准，即建立一个统一的数据库规范；二是承认数据库之间存在差异这一现实，构造可互操作数据库平台。本文将从构造可互操作数据库平台的角度，对数据库互操作性的实现进行较全面的探讨。

联邦数据库系统研究

肖永桥姚卿达

计算机科学. 1994, 21 (6): 55-57.

摘要 ( 82 )

PDF(109KB) ( 257 )

相关文章 | 多维度评价

第三代软件工程环境研究：一个可配置的开放式系统框架

张莉

计算机科学. 1994, 21 (6): 58-62.

摘要 ( 52 )

PDF(196KB) ( 270 )

相关文章 | 多维度评价

CASE的数据库需求

郭江周伯生

计算机科学. 1994, 21 (6): 63-68.

摘要 ( 53 )

PDF(242KB) ( 220 )

相关文章 | 多维度评价

新的软件开发方法论需求：软件定义的高层构造

应晶吴朝晖

计算机科学. 1994, 21 (6): 69-73.

摘要 ( 73 )

PDF(220KB) ( 324 )

相关文章 | 多维度评价

PC／CASE：支持软件开发过程的CASE工具

罗铁根齐治昌

计算机科学. 1994, 21 (6): 74-77.

摘要 ( 55 )

PDF(129KB) ( 272 )

相关文章 | 多维度评价

面向对象开发方法与结构化方法的比较研究

周广声李卫国

计算机科学. 1994, 21 (6): 78-80.

摘要 ( 51 )

PDF(138KB) ( 250 )

相关文章 | 多维度评价