过程文件的分解与连接

本文介绍一个用 FOXBASE 与 BASIC 联合编制的过程文件的分解与连接实用程序,既解决了·PRG 文件太多带来的弊端,又弥补了过程文件太大不便于修改之不足。     

检验分解不失真性的算法及证明

<正> 在计算机专业课程中,常有针对某一用途的算法。这些算法与目的之间的联系,有些比较直接,有的则不是那么一目了然。如果没有给出联系算法与用途的证明,就易使读者感到高深莫测,不可企及,使用时也感觉生硬。实际上、算法也是人做出来的。对教科书上给出     

关于求解DNF永真性问题的近似快速算法的研究

本文研究了用吸收关系与补关系构造求解DNF的永真性的近似快速算法问题。在第二节给出了偏序集〈S;≤〉的定义,研究了〈S;≤〉上的链与反链的性质。在第三节巧妙地借助补关系图构造了一个求解DNF的永真性的分治算法。     

无内部冲突满足P3的无α环的数据库模式分解（Ⅰ）：分解的基本理论

文中在文献［１］、［２］、［３］讨论的基础上，讨论了数据库模式无内部冲突，但在最小归并依赖集Ｄ中存在弱右部或弱左部冲突时分解的性质和理论．为无内部冲突的满足Ｐ３的无α环的数据库模式分解算法设计提供了基础．     

模糊关系无损连接分解的实现及检验

本文基于一个模糊关系数据库系统的实验性原型FRDB1中定义的模糊关系,首先定义了模糊等价性,描述并验证了模糊函数依赖的理论,然后基于模糊关系代数和模糊等价性的附加约束条件实现了模糊关系的无损连接分解,最后证明了追踪算法检验模糊关系的无损连接分解。     

线性序约束关系的无损连接分解*

对线性序约束数据库中的数据依赖和无损连接分解进行了研究.介绍了线性序约束数据库的一些基本概念,提出了线性序约束关系中多区域存在依赖和分组多区域存在依赖的概念,证明了变量集满足变量独立和多区域存在依赖是进行模式无损连接分解的充要条件.探讨了变量集在坐标线性变换下保持良性分解的情形.     

关系模式一种基于超图的全部候选关键字求法

本文详细讨论了基于超图的关系模式的有关候选关键字的某些理论,给出了相应的定理.圆满地解决了关系模式全部候选关键字的求解问题,具体地给出了以递归形式的求全部候选关键字的新算法.     

基于梯子迭代求解全部候选关键字算法

本文定义了强主属性概念，讨论了属性子集梯子迭代结构问题，导出了求解全部候选关键字的新算法。     

基于相似性连接的时间序列Shapelets提取

在时间序列分类问题中,以Shapelets特征为基础的分类算法具有很高的分类准确率和良好的可解释性,因此,高辨别能力Shapelets的提取已成为时间序列研究领域重要的研究热点之一.对于Shapelets提取的研究已取得了很多优秀的成果,但仍存在一些问题,主要是由于通过遍历所有子序列来获取Shapelets的方式非常耗时.尽管可以采取剪枝策略优化该过程,但往往会损失分类准确率.为此,提出一种基于相似性连接的Shapelets提取方法,该方法舍弃逐一判断子序列分类能力的策略,而是以子序列为单位,通过相似性连接的思想构建时序数据间的相似性向量.对于不同类别的时序数据,计算每一对时序数据间的差异向量,进而得到表示时序数据集中不同类别间差异的候选矩阵,然后根据候选矩阵的数值差异,快速筛选出具有高分类能力的Shapelets集合.在真实数据集上的大量实验表明：相比于现有的Shapelets提取方法,这种相似性连接方法所得到的Shapelets在分类任务中不仅具有很好的时间效率,而且能保证高分类准确率.     

候选关键字的判定理论

在关系数据库理论中,确定关系模式的候选关键字是一个NP完全问题,至今尚无有效的理论.本文提出关系模式唯一候选关键字存在性的充要条件和开发了具有单属性函数依赖候选关键字的求解规则.     

贝叶斯网络的无损分解

处理复杂问题的途径和方法有很多,分而治之就是其中的一种有效方法。在将复杂问题分解为一些小问题的过程中,保存原始问题中的信息是关键。本文基于贝叶斯网络的联合树概念及其性质,提出了一种分解贝叶斯网络的方法,该方法可以有效地处理复杂的贝叶斯网络,并且能很好地解决分解过程中信息保存的问题。算法分解产生的各个小网络既保存了原始网络的依赖关系,又没有向分解产生的小网络增添新的依赖关系,因此该分解过程是无损的。最后借助典型的Asia网络详细地阐述了无损分解的整个过程,该例子也验证了无损分解方法的有效性。     

基于数据网格环境的连接操作算法

数据网格是一种分布式数据管理体系结构,能够为分布在网格中的资源提供协同的管理机制．数据库管理系统在数据网格中发挥着重要作用,在各种数据库操作中,连接操作是一种最常用也是最耗时的操作,到目前为止,尚未有文献提出数据网格环境下的连接操作算法．主要对数据网格环境下海量数据的连接操作算法进行了研究,针对网格中各结点之间网络带宽异构的特点,采取关系缩减算法、行分块传输技术和流水线并行机制来减少查询的响应时间．理论分析和实验结果证明,算法在减少网络通信开销、增加I／0和CPU并行、降低响应时间方面具有较好的性能．