候选关键字的判定理论

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

候选关键字的图论求解法

本文利用图论方法对求解候选关键字的问题进行了深入而系统的讨论,圆满地解决了左边为单属性的函数依赖集的关系模式候选关键字的求解问题.     

时态强简单候选关键字算法研究*

对于时态数据库的设计来讲,一个重要的约束就是候选关键字约束。在实际应用系统设计中,根据应用环境要设计时态模式,并对模式进行规范化处理。无论需要满足哪种范式,都涉及候选关键字问题。目前已提出的时态初等候选关键字,时态简单候选关键字都有其相对应的范式TEKNF和TSNF。在此基础上,在强全序模块模式下提出了时态强简单候选关键字的概念,给出明确的定义。并且给出了强全序候选关键字算法以及求取强简单候选关键字集算法,对算法的可终止性,正确性进行了证明。并对算法的复杂度进行了分析。同时初步定义了相对应的时态强简单范式。     

一种搜索关系模式的所有候选关键字的算法

给出计算关系数据模式R的所有候选关键字的一个有效算法,该算法利用函数依赖中的属性位置关系,决定哪些属性是主要的,有用的;哪些属性可不被考虑,从而找出R的所有候选关键字。     

MATLAB在求解关系模式上全部候选关键字中的应用

本文描述了MATLAB中的数值数组、元胞数组与关系模式上的属性集、函数依赖集之间的对应关系，实现了属性集运算的MATLAB数组表示，给出了关系模式中计算属性集闭包、求解候选关键字的M函数。在应用[1]中的替换算法的基础上，本文给出了一个求解关系模式上全部候选关键字的M函数。实际应用表明，本文介绍的MATLAB程序代码简洁、运行可靠、求解正确。     

Mathematica在求解关系模式全部候选关键字上的应用

描述了Mathematica中的表与数据库关系模式上的属性集、函数依赖集之间的对应关系．实现了属性集运算的Mathematica表．给出了数据库关系模式中计算属性集闭包、求解候选关键字的M函数。     

基数为M的时态候选关键字问题研究

为了更有效地研究时态数据库中各种时态依赖以及各属性之间的关系,对时态候选关键字的求解进行了研究,定义了时态准左部属性、时态准右部属性和时态纯双部属性等概念;结合关系数据库理论给出了时态最大相关块法求时态候选关键字,并对相关理论进行了证明,这对实现时态候选关键字的规范化问题具有重要的推动作用.     

一种求解全部候选关键字的快速替换算法

本文通过分析文献（２，３）中所提出的求解关系模式全部候选关键字的替换算法，找出了它们的共同缺陷，即算法每搜索一趟产生的后继候选关键字太少，要想求出全部候选关键字，需经过很多趟的搜索。在此基础上，提出了对替换算法从减少每一趟搜索中需要检查的ＦＤ个数和增加每一趟搜索产生的后继候选关键字两方面进行改进的基本思想。然后，以ＥＦ（Ｘ）为研究对象，讨论了实现这种改进思想的具体方法，并给出了相应的快速替换算法及     

基数为M的候选关键字求解的多项式算法存在性研究

本文在文献「３」的基础上，详细且深入讨论了构成候选关键字的属性特性，提出了相关关系，最大相关块等概念，讨论了有关定理，最后给出了求基数为Ｍ的候选关键字的多项式时间算法。     

消元法化简关系模式求所有候选关键字新方法

本文研究了通过消癣关系模式化民与之具有相同候选关键字的一组简单关系模式的理论和方法。     

基于属性相关表的关系模式全部候选关键字求法

本文提出了属性相关表这样一种新的概念，定义了相应的运算并研究了它的有关性质及定理，在此基础上提出了用属性相关表求关系模式全部主属性的等级，并给出了用主属性来组合关系模式全部候选关键字的算法，上述算法的时间复杂度均为Ｏ（ｎ＾２）。     

关系数据库模式中候选码的求解算法

在设计和应用关系数据库时,都需要使用候选码。本文介绍了求解一个关系模式的候选码的两种算法。算法一可计算出一个候选码,算法二可计算出全部候选码。     

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

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

Database reverse engineering: From the relational to the binary relationship model

This paper describes an algorithmic method for transforming a relational database schema to a binary-relationship one. The source schema may consist of relations that are at any level of normalization, and the designer may add semantic information on the source schema, such as the definition of candidate keys, foreign keys, functional dependencies of various types, multi-valued dependencies, many-to-many constraints, inclusion dependencies, and others. Based on this information, the multi-stage transformation algorithm applies mapping rules to generate object-types, binary-relationships and constraints in the target conceptual schema. The method is implemented as a PC-based tool, utilizing Ingres, SQL and C, and is part of a comprehensive database design tool for both forward and reverse engineering.     

基于XML的代理关键字处理方法

代理关键字被普遍应用于数据仓库的构建。在XML Schema映射为数据仓库结构的情况下,该文提出一种引入代理关键字的处理方法,利用Java工具包,将XML Schema转换成XOM树结构,在转换成关系模式时加入代理关键字,实现了XML文档与数据仓库间的直接转换。实验结果证明了该算法的有效性。