含空值关系数据库泛关系及其实例的研究

在含有空值关系数据库中函数与多值依赖的研究基础上,对含空值关系数据库中泛关系进行了形式化描述和定义;并对传统FD(FunctionalDependency)的传递规则进行了分析研究,得到在约束弱满足意义下不成立结论,提出了含空值关系数据库FD的传递新规则.再对含空值关系数据库中泛实例进行了分析研究,论证了5个引理;在NFD(NullvaluesFunctionalDependency)≠Ω时,从分解R(U)保持PD集,保持合法实例集,相对于NFD有无损连接3个特性一并考虑,得到了分解R(U)5种类型,并对5种类型应用进行了举例讨论.     

空值环境下XML函数依赖的研究

空值环境下的XML函数依赖是XML数据库理论和应用中的一类新的问题。本文首先给出空值环境下XML全树元组等价、全树元组相容、元素节点相等、元素节点相容和元素节点等价等概念．根据XML树型结构本身的特点．给出了空值环境下XML函数依赖的两个满足条件。     

关系数据库中嵌入型多值依赖的成员问题

对于函数依赖、多值依赖都建立了正确(sound)、完备的(complete)公理系统.对于嵌入型多值依赖的正确、完备的公理系统问题,Sagir、Walacka 已证明它没有有限公理系.但嵌入型多值依赖作为特殊情况包含的型板依赖被定义之后,它的成员问题已有半判定方法.特别是对嵌入型多值依赖集合作一些限制后,它的成员问题可解性已被提出.本文对 Chase过程作了更改后,形成 N-Chase 过程,并利用它对一种嵌入型多值依赖集证明了其成员问题的可解性.     

关系数据库的空值与数据依赖满足性变换算法

讨论了关系数据库的空值与数据依赖满足性变换算法,并给出了有关的定义、规则、定理与变换算法.     

含空值关系数据中规范化的研究

在关系数据库中,由于空值的存在而使得传统数据依赖公理系统的存在性受到了严重的挑战,有的公理在非空值环境下存在,但在空值环境都不存在了,分别对含有空值关系数据库中规范化,即（N）1NF,（N）2NF、（N）3NF、（N）4NF、（N）5NF进行了讨论,并且给出了含有空值关系数据库中的各范式的相应定义、定理和有关概念,研究了相关的理论,还设计出了分解为（N）4NF的分解算法。     

关系数据库中函数依赖的直接决定集

讨论了两个归并依赖之间的直接决定的关系,给出了一个归并依赖直接决定集的求法,同时讨论了当函数依赖集为无内部冲突时,直接决定集的性质.     

关系数据库中函数依赖左部集的结构

讨论了函数依赖左部集,根据左部集内部结构将其分为原子的、半原子的和全可分的,并且讨论了它们的性质.     

多值复变函数的多值解析分支

讨论了多值函数局限性在子域上分解为多值连续分支的一般方法，并对几类常见的多值函数进行了具体的分解，该方法概念明晰，算法简便，结果整齐化一。     

挖掘区间值关系数据库的模糊关联规则

应用关系数据的模糊C-均值算法把数量型属性划分成若干个模糊集，提出挖掘区间值关系数据库数量型属性模糊关联规则的算法，在关系数据的模糊C-均值算法与部分聚集算法的基础上提出一种新的模糊聚类算法-关系数据的竞争聚集算法，并用它来划分数量型属性，由于关系数据的竞争聚集算法能得到优化的固定的聚类个数，因此能挖掘出优化的模糊关联规则。     

基于关系数据库的查询优化的方法研究

通常如何提高运行速度及执行效率是检验关系数据库系统性能好坏的重要标志,需要进行优化设计的地方很多,大体上有逻辑设计、物理设计和查询几个阶段。而相对于其他操作,查询操作所占的比重很大,因此可以说查询速度决定了关系数据库的性能优劣。文章重点讨论查询优化的一些方法,并结合它在实际应用中的例子进行分析。     

关系型数据库实现企业计划生产管理信息化

计划生产管理是企业管理的一个重要组成部分,分析管理模式,使用关系型数据库开发计划生产管理系统,以信息化的手段辅助管理能力的提升。     

SQL SERVER的存储结构及共享、冲突分析

为提高网络环境下关系数据库的性能,文中以ＳＱＬ ＳＥＲＶＥＲ６．ｘ为例,分析了数据库的存储结构,多用户共享特性及锁管理器对冲突的处理机制,提出了一种自适应锁定算法,并给出了算法Ｃ程序实现的主要部分框图。     

关于复变函数多值性的两点注记

针对不同《复变函数》教材，对于一些多值函数定义不同而易于混淆的问题进行了分析，研究认为，在实数范围内成立的一个等式而在复数范围内情况不同，即当α=1/n时，等式ln z^α=αlnz成立；当α≠1/n时，等式ln z^α=αlnz不成立。     

宽零点约束的圆阵宽带波束形成研究

在实现具有良好抗干扰能力的阵列宽带波束形成的过程中,经常要面临宽零点约束的方向图综合问题。提出了最小最大旁瓣宽零点约束算法(MMSLC),优化了波束对消器零点的设置方法,以比传统的算法减少所需设置的零点数目,实现了宽零点约束的方向图,提高了圆阵宽带波束形成算法的有效性。仿真结果显示MMSLC算法较传统算法的优越性。     

时态数据库初等关键字范式问题的研究

为了探索能避免存储异常(插入,删除,修改异常,冗余),保证数据的完整性和一致性的数据库模式,依据具有多时间粒度的时态函数依赖约束的理论,采用时态数据库规范化方法,提出了时态初等关键字范式的概念,并分析了时态初等关键字范式与时态三范式和时态BC范式之间存在的联系,得到了用TEKNF分解来解决如果把TBCNF作为最终目标,很难实现保持函数依赖性,若把T3NF作为最终目标,又很难实现想要得到的规范化要求的问题,是时态数据库进一步规范化的基础．