鲁棒环境演算类型演化系统的扩充

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算[1]是针对这种演算的一种改进.文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行.在[2]的基础上,进一步讨论了此问题.通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中.证明了类型系统的正确性.同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性.     

关系数据库的优化设计研究

本文以数据库性能优化的基本原则为出发点,阐述了第三范式是数据库设计的重要原则,在设计阶段如何避免竞争和如何优化数据访问,在数据库运行阶段如何从操作系统和数据库实例级别上调整内存和I/O来达到数据库性能优化的各种技术。     

代数系统与关系数据库操作

本文就代数系统在计算机领域中的应用分析,揭示了数据库操作的深刻原理,指出了简化操作程序中几个常用的代数运算公式,从一个侧面反映离散数学与计算机科学的直接联系。     

后关系数据库与关系数据库的对比分析

针对关系型数据库和后关系数据库的发展现状、技术特征、优缺点分别作了对比性的分析与探讨。     

基于关系数据库的模型库系统研究

用关系数据库技术取代传统的文件方式创建和管理模型库系统,能够方便灵活地完成模型的存储和管理.文中分析了模型库系统的结构,阐述了模型字典的作用和组织方式,设计了模型字典的表结构,研究了模型库管理系统的功能,最后给出了软件成本估算专家系统模型库中FPA的TCF模型的设计实例.     

一种新型的关系数据库—三维关系数据库

一种新型的关系数据库──三维关系数据库刘培玉，江志超，唐建国山东师范大学计算机科学系，２５００１４，济南；轻骑职工学校，２５００１４，济南；第一作者３１岁，男，讲师）关系数据库是用于对数据或报表进行管理的最普遍使用的工具。例如：我们经常用关系数据库处...     

水印关系数据库

数据库应用的快速发展需要水印数据库，这是数据所有权保护问题。首先介绍了云模型知识，然后提出了一种基于云模型的水印关系数据库技术，给出了关系数据库云水印嵌入和检测提取方法，并对实验结果进行了讨论分析。最后展望了水印关系数据库的前景和研究发展方向。     

伯努利不等式的扩充

伯努利不等式在数学上是非常著名的，然而现今我们所查到的各类文献均限定了不等式（１＋ｈ）＾ｎ≥１＋ｎｈ时ｈ的范围为ｈ〉０或ｈ〉－１，现在我们证明了，（１＋ｈ）＾ｎ≥１＋ｎｈ当且仅当ｈ≥－２。     

模糊信息系统及其相应的关系数据库

从模糊信息系统的角度出发,对于各种类型的模糊关系数据库的现状,系统地进行归类、分析、同时也通过一些例子说明利用目前的RDB来实规模糊数据库所存在的难点和问题。     

关系数据库中时态关系模式的研究

本文定义了关系数据库中的时态关系模式,对其进行了分类,同时研究了时态关系模式的特性。     

关系扩展规则

基于关系转换方法对模态逻辑进行转换, 使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理, 得到一种新的可用于模态逻辑的推理方法, 并证明了其正确性和完备性.     

关系数据库性能的优化研究

数据库管理是数据管理的重要部分,是计算机学科的重要分支。数据库性能的好坏直接决定着数据库应用系统的运行效率。在阐述影响数据库性能的主要因素的基础上,结合实际探讨了优化数据库性能的一些策略,分析和比较了不同策略可能对数据库性能的具体影响。     

基于关系数据库的查询优化技术

为了提高数据库的运行效率．分析了影响结构化查询语言（SQL）查询语句执行效率的因素，研究了对SQL查询语句进行优化的基本方法，包括数据类型、搜索参数、数学操作符等方面的合理使用，同时，指出在实践中的程序员应反复试验和比较不同的语句。     

面向对象关系数据库在数字图书馆中的应用

对数字图书馆系统中复杂的数据类型组织和处理进行了探讨，并提出了一种运用面向对象思想对关系数据库系统进行扩充的面向对象关系数据库模型。     

关系型数据库管理系统SQL Server和DB2之比较

对比研究了SQL Server数据库和DB2数据库两种关系型数据库管理系统,指出它们在数据库技术方面各自的优缺点。     

基于索引的关系数据库查询优化

查询优化是提高数据库性能的关键技术之一.在分析SQL Server关系数据库系统自动查询优化技术的基础上,介绍了索引的类型和使用原则,并结合实例讨论了SQL语句中使用索引进行查询优化的多种有效方法,有助于提高数据库的查询效率.     

树型结构在关系数据库中的描述

把树型结构存入数据库是一个难题.为了解决这个问题,需要把树型结构线性化.通过设计数据库的表结构,把线性化了的树节点数据和节点之间的关系存入数据库,并可用SQL语言进行各种查询.结果通过了ACCESS数据库的验证.     

XML与关系数据库的数据转换研究

从XML与关系数据库的关系出发,讨论了XML数据的关系存储以及XML与关系数据库的映射策略,分析了基于不同映射的数据转换的可行性。