亚对数空间限定的多墨水点交替式下推自动机的闭包属性

交替式下推自动机是并行计算的一种模型,它的空间计算复杂性研究对于解明并行算法的内存消耗具有重要意义。复杂性语言族的闭包属性反映了具有一定复杂性空间的并行计算模型之间的组合关系。论文研究仅有全称状态的交替式下推自动机的闭包属性,这些自动机均具有多个墨水点和亚对数限定的存储空间.通过设立巧妙的证人语言,本文使用反证法证明了具有有限多个墨水点的仅有全称状态的交替式下推自动机在星号、保持长度的同态、以及与正则语言的连结等运算下是不封闭的。

基于逆向FD超图的属性闭包求解算法研究

本文对文［１］进行深入分析的基础上给出了正向ＦＤ超图、逆向ＦＤ超图，给出了正向、逆向超图的相互转换算法，并对属性闭包的求法进行了研究，给出了求解关系模式属性闭包的新算法。

基于PHP计算属性集的闭包

针对计算属性集闭包的程序复杂,函数依赖描述不直观等问题,基于PHP实现了属性集闭包的计算。文中使用数组描述函数依赖,使用PHP自带的数组函数实现集合操作,定义了属性集闭包函数Closure,程序实例说明了函数依赖集的初始化与Closure函数的调用方法。该方法采用的PHP程序结构简单,代码量少,易于实现与维护,可以独立解释执行,也可以嵌入到HTML中解释执行。

属性集闭包求解算法的C++实现

在关系数据理论中,属性集闭包的求解不仅是证明Armstrong公理系统的基础,也是关系数据库逻辑模式设计中各种模式分解算法的基础。研究了属性集闭包求解算法的机制,并利用VC++实现了该算法。

关系数据模式中属性集闭包和FD集闭包的性质

本文主要给出了关系模式中两个重要概念——属性集闭包及ＦＤ集闭包的若干性质及其相互关系．

关系数据模型中属性集闭包与FD集闭包的若干性质的研究

本文主要给出了关系数据模型中两个重要概念属性集闭包及ＦＤ集闭包的若干性质及其相互关系。

时态类型集的封闭集

好的数据库逻辑设计目标是消除数据冗余以及插入和删除异常。对于时态数据库，可以利用具有多时间粒度的时态函数依赖（TFDs）约束对时态数据库进行规范化。要进行有效的数据库设计，需要解决有限属性闭包和成员籍等一些有关TFD的问题。为了方便计算机对时态类型的处理和找到有效的解决TFD的相关问题的算法，该文提出了封闭时态类型集的概念，并且给出了一个求给定TFD集的封闭集的算法。

基于模式增长的高效用序列模式挖掘算法

高效用序列模式挖掘是数据挖掘领域的一项重要内容,在生物信息学、消费行为分析等方面具有重要的应用.与传统基于频繁项模式挖掘方法不同,高效用序列模式挖掘不仅考虑项集的内外效用,更突出项集的时间序列含义,计算复杂度较高.尽管已经有一定数量的算法被提出应用于解决该类问题,挖掘算法的时空效率依然成为该领域的主要研究热点问题.鉴于此,本文提出一个基于模式增长的高效用序列模式挖掘算法HUSP-FP.依据高效用序列项集必须满足事务效用闭包属性要求,算法首先在去除无用项后建立全局树,进而采用模式增长方法从全局树上获取全部高效用序列模式,避免产生候选项集.在实验环节与目前效率较好的HUSP-Miner、USPAN、HUS-Span三类算法进行了时空计算对比,实验结果表明本文给出算法在较小阈值下仍能有效挖掘到相关序列模式,并且在计算时间和空间使用效率两方面取得了较大的提高.

关系数据库中候选码的求解

寻找关系模式的候选码是数据库设计理论中的重要问题。通过对关系数据库规范化理论的研究,利用函数依赖和图论的有关知识,分别从属性闭包和函数依赖图的角度讨论了如何求解候选码,并给出了一些具体实例。

偏序时态模式下规范覆盖问题

目前有效的多时间粒度时态数据库设计方法多针对全序时态模式,当时态模式的时态类型集为偏序集时,由于涉及时态类型间的最大下界等操作而使其难以实现。针对偏序时态模式的规范覆盖问题进行研究,提出了偏序TFD(时态函数依赖)集有限闭包、偏序模式属性集有限闭包、偏序无冗余覆盖和偏序规范TFD集等概念,解决了偏序TFD成员籍问题;并给出了偏序TFD集的规范覆盖算法,对其正确性进行了证明,对算法的时间复杂度进行了分析。为偏序时态模式的综合范式分解问题研究奠定基础。

函数依赖集的有向图表示及在教学中的应用

以有向图表示函数依赖集,将求属性集的闭包转换成有向图的遍历问题,在此基础上,给出了求解候选码、最小覆盖等问题的解决方案。教学实践表明,该方法为相关内容的教学提供了图形化的手段,有助于学生利用数据结构知识来理解新的教学内容以及有关算法的编程和验证。

全序时态模式下函数依赖集的成员籍问题研究

时态函数依赖(TFD)约束的全序时态模式下,成员籍问题是设计有效模式分解算法的关键。定义了全序时态模式下全序时态函数依赖集有效闭包、属性集在给定时态类型上的闭包、属性集的闭包等概念,根据这些概念,结合全序时态模式自身的特点,提出求全序时态模式下属性集在给定时态类型上的闭包以及时态函数依赖(TFD)集成员籍问题的算法,证明了算法的可终止性和正确性,分析算法的时间复杂性,为时态函数依赖环境下全序时态模式的进一步规范化提供了理论基础。

Matlab在求候选关键字的替换算法中的应用

在关系模式分解和规范化过程中,候选关键字的确定具有重要意义。针对该问题利用Matlab对求给定关系模式R(U,F)全部候选关键字的替换算法进行了实现,测试结果表明,给出的Matlab函数代码简洁、运行速度较快,运行结果正确、直观且易于理解。

最小函数依赖集F'的最优算法

在数据库设计中,依据函数依赖集的定义及Armstrong公理,求出的是一个可能存在冗余的函数依赖集.为了判断一个函数依赖是否为某一函数依赖集逻辑蕴含,只要用求属性闭包的方法求出函数依赖中决定子的属性闭包,判断依赖于是否包含在属性闭包中即可.本文从求属性闭包的角度出发,给出一个求最小函数依赖集的算法.

最小函数依赖集Fmin求解算法研究及实现

函数依赖反映了现实世界中数据的完整性约束,对关系数据库的分析和设计起着重要的作用。最小函数依赖集和模式规范化是规范化理论和模式分解中的两个最重要概念。研究并实现了最小函数依赖集的求解算法。

一种多数据库系统的模式集成方法

模式集成是多数据库系统设计中的一项重要工作，传统的紧耦合多数据库系统中全局ＤＢＡ 负担过重．文中提出一种基于面向对象数据库的模式集成的虚拟数据库方法，在一定程度减轻了集成的工作量，保证了各参与库的自治性并能向用户提供完全的数据分布透明．