空值环境下关系模式无损连接分解为(N)BCNF的必要条件和算法

对文献「１」提出的空值环境下关系模式无损连接分解为（Ｎ）ＢＣＮＦ的必要条件，给出二个反例，证明它是不正确的，并分别从关系模式的函数依赖集Ｆ的最小依赖集Ｆ科教 包Ｆ出发，重新给出二个必要条件，另外，还给出二个空值环境下关系模式无损连接分解为（Ｎ）ＢＣＮＦ的算法，这二种算法均是进行二叉树搜索物算法，每次分解均是对非（Ｎ）ＢＣＮＦ的子式进行一分为二且无损连接的分解，由一个父结点得到二个子结点，若可能，就     

属于BCNF的关系模式候选关键字问题研究

研究了属于BCNF的关系模式FD集的特征,在此基础上,讨论了属于BCNF的关系模式全部候选关键字问题、追加的候选关键字问题、基数最小候选关键字问题的求解方法,并给出了相应的线性时间算法。     

基于超图的BCNF的判定算法

利用超图来表示关系模式．定义了直接决定因素、推导．讨论了直接决定因素的性质．在此基础上给出了利用超图判定给定的关系模式是否属于ＢＣＮＦ的新算法．     

一种基于超图的关系模式主属性判定算法研究

利用超图表示关系模式的ＦＤ集．定义了最大有向准路、严格准环和最大严格准环．并讨论了严格准环、最大有向准路的性质．在此基础上给出基于超图的关系模式主属性判定算法．进而给出了求出属性集的算法．     

GIS属性数据库的关系模式分解研究

讨论了ＧＩＳ属性数据库设计中关系模式的构造原理和方法。在ＧＩＳ的数据库模式设计中，地理实体的关系模式分解是属性数据库应用设计的关键。在对ＧＩＳ属性数据库的特征分析基础上，讨论了地理实体的关系模式的分解表示及其应遵循的约束条件，即信息无损失连接特性和保持函数依赖特性。在关系模式的分解中，将地理实体错综复杂的关系模式分解成一组简单的属性关系集合。同时，为使分解过程中不出现信息丢失并维护地学数据的完整性     

属于BCNF的关系模式主属性问题研究

研究了关系模式中的四类属性成为主属性或非属性的条件，在此基础上讨论讨论了属于ＢＣＮＦ的关系模式主属性问题的解决办法，并给出了相应的线性时间算法。     

GIS属性数据库的关系模式分解研究

讨论了GIS属性数据库设计中关系模式的构造原理和方法 .在GIS的数据库模式设计中 ,地理实体的关系模式分解是属性数据库应用设计的关键 .在对GIS属性数据库的特征分析基础上 ,讨论了地理实体的关系模式的分解表示及其应遵循的约束条件 ,即信息无损失连接特性和保持函数依赖特性 .在关系模式的分解表示中 ,将地理实体错综复杂的关系模式分解成一组简单的属性关系集合 .同时 ,为使分解过程中不出现信息丢失并维护地学数据的完整性约束 ,还讨论了关系模式分解应满足的信息无损失连接性的约束条件 ,以及关系模式分解所应保持的函数依赖的约束因素 .     

一种关系模式的第三范式分解算法

文讨论一种将关系模式分解为第三范式的算法,该算法避免求函数依赖集的最小覆盖,因而其算法复杂性是多项式的。     

基于TNF的历史关系模式达到3TNF的分解

对基于TNF的历史关系模式TUg提出了时间依赖、2TNF、3TNF等重要概念，并给出了TNF达到3TNF的模式分解算法及证明，解决了历史关系模式中存在的数据冗余、TNF异常等问题。     

一种嵌入式关系模型的形式化描述

在ＮＲ／Ｔ网的基础上，对基于嵌入式关系模型的数据库信息系统的行为，给出了一种形式化的描述方法，并设计了一个变迁点火执行算法。     

模糊关系数据库和关系数据库中的模糊信息

在力图从形式上尽可能保持与传统关系数据库相应概念一致的前提下,文中独立地给出了模糊关系数据库的有关概念和运算的定义,并对模糊环境下的无损联接问题进行了讨论,得到了一些结果。还提出了全模糊数据库的概念。     

测不准关系式的简要导出

测不准关系式的常见导出模式大致可以分为三种类型,一是由电子的单缝衍射导出,一种是由量子力学中的特例导出,另一种就是由量子力学中的算符的对易关系导出.测不准关系式的简要导出则是由量子理论的基本假定直接导出.     

局地短期气候预测的关联度方法

针对局地短期气候变化的非线性特征及其难以用模型准确刻画的现状 ,根据预报误差最小原理 ,引入关联度分析 ,提出了一种关于局地短期气候预测的关联度方法 .应用此方法对年际变化剧烈的蒙自 5月雨量进行了预报试验 ,预测结果令人满意 .     

一种基于网络传输数据加密新方法的研究

文章在分析比较几种常用加密算法的基础上,结合他们各自的优缺点,给出一种互补性的组合数据加密方案及其实现过程。这种新的加密方案具有加密速度快、抗密钥窃听攻击、进行身份确认等优点,更适合于网络传输数据的加密。     

多值依赖与不完全信息数据库

本文讨论了含空值的关系实例对于多值依赖的满足性。与若干现有文章相比,本文着重讨论了各种情况下满足多值依赖集的合法完全实例的存在性的判定方法。     

有限集上二元关系传递性的矩阵判别法

通过对二元关系的关系矩阵元素特征的观察和对Warshall算法的深入研究,得出了3种判断有限集上的二元关系是否具备传递性的矩阵判别法：逻辑相加判别法、逻辑乘方比较判别法、打圈画叉判别法．     

基于改进灰色关联度的权重确定方法

决策者在进行决策时，指标权重往往是关键。但目前提出的各种确定方法，都带有一定的主观性，且不能反映指标对目标的影响方向。因此，本文在对现有权重确定方法总结的基础上，提出基于改进灰色关联度的权重确定方法，较好地解决了这一问题。     

关系模式设计的规范化与非规范化

关系模式的规范化设计存在表的数量多、连接运算复杂、数据库执行速度慢等缺点;非规范化设计减少了查询操怍所需的连接,减少了外部键和索引的数量,可以预先进行统计计算,提高了查询时的响应速度;用实例说明设计关系数据库时应根据属性数量、属性间的函数依赖、关系中元组的数量和应用来确定应采用的方法。