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

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

求解关系模式中一个候选关键字的一种有效算法

通过分析关系模式的属性在函数依赖中所起的作用，发现在关系模式中的部分属性必定为主属性，而部分属性必定为非主属性，可以通过减少对属性的搜索次数，从而提高算法的效率，降低算法的时间复杂性。为此，本文提出一种切合实际的求解候选关键字的有效算法。     

属性集闭包在求解关系模式候选关键字中的应用

本文描述了关系模式中计算属性集闭包、求解候选关键字的算法,以此强调闭包在函数依赖理论中的重要性。     

候选关键字的图论求解法

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

函数依赖最小覆盖集求解算法——在数据库设计中的应用

本文给出了求解函数依赖最小覆盖集算法在计算机上的具体实现并把它应用到关系数据模式求解中去，成功地开发了关系数据库模式生成算法，向数据库设计自动化的具体实现迈进一大步。     

基于近似函数依赖的关系数据属性权重评估方法

在现实应用中,一些关系数据的规范化程度不高,往往存在数据冗余和不一致现象。为了有效评估此类数据 中的属性重要程度,提出了一种基于近似函数依赖的属性权重评估方法。该方法基于一致集的概念导出最大集,生成 最小非平凡函数依赖集,从而找出属性之间的近似函数依赖关系,进而求出近似候选码和近似关键字,在此基础上根 据属性支持度计算属性权重。实验结果和分析表明,提出的属性权重评估方法能够合理地获取关系数据中的属性重 要程度,算法具有较好的稳定性和较高的执行效率。     

基于闭属性集的Armstrong关系的构造算法

在关系数据库理论中，称恰满足给定函数依赖集及其闭包的关系为Armstrong关系。R．Fagin、C．Beeri等在[1，2]中研究了Armstrong关系，给出了存在性证明、判定充要条件及几个应用，却没有给出Armstrong关系的构造算法。本文首先讨论了一类特殊的属性子集——闭属性集，即与其闭包相等的属性子集，给出了这类属性集的判定充要定理及一些性质，证明了关系模式上所有闭属性集族的最小生成子族的存在唯一性，最后给出了一个基于最小生成子族的Armstrong关系的构造算法，弥补了[1，2]在算法方面的不足。     

关系模式分解成3NF自动实现

本论文从关系数据库理论中关系模式设计相关问题,讨论了模式分解的重要性,然后根据函数集闭包、属性集闭包求解最小函数依赖集,进而在无损连接和保持函数依赖的前提下,把关系模式分解成3NF。该设计做到了关系模式规范化的自动实现。     

候选关键字的判定理论

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

函数依赖集在属性子集上投影新算法

分析了分解法分解关系模式在数据库设计应用中存在的问题是函数依赖集在属性子集上投影的计算问题，而后对该问题提出了解决的方法和技术，并设计了具体的算法。该算法为解决此计算问题提供了一个有效途径，给分解法分解关系模式在数据库设计中的应用创造了更有利条件。     

Approximate OLAP of document-oriented databases: A variety-aware approach

Schemaless databases, and document-oriented databases in particular, are preferred to relational ones for storing heterogeneous data with variable schemas and structural forms. However, the absence of a unique schema adds complexity to analytical applications, in which a single analysis often involves large sets of data with different schemas. In this paper we propose an original approach to OLAP on collections stored in document-oriented databases. The basic idea is to stop fighting against schema variety and welcome it as an inherent source of information wealth in schemaless sources. Our approach builds on four stages: schema extraction, schema integration, FD enrichment, and querying; these stages are discussed in detail in the paper. To make users aware of the impact of schema variety, we propose a set of indicators inspired by the definition of attribute density. Finally, we experimentally evaluate our approach in terms of efficiency and effectiveness.     

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

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

基于SimHash和混合相似度的多模式匹配方法

为了解决多源异构民航旅客服务数据集成过程中存在多模式匹配的效率不高、精确性不足、完整模式信息获取难度较大等问题,提出了一种基于SimHash和混合相似度的多模式匹配方法。该方法首先基于PMI计算特征单元权重,并通过SimHash算法构造属性列的签名来表示属性特征,以降低特征维度,进而引入K-means++算法对属性聚类并生成候选匹配集。最后基于属性的混合相似度构建属性映射图,以直观的方式展示属性间的匹配关系,同时提高多模式匹配效率。实验结果表明该方法具有可行性,为高效地解决多源异构民航旅客服务数据集成中的模式冲突问题提供新的解决方案。     

一种XML数据库到关系数据库的映射模型

介绍如何将XML文档转换成标签有向图。讨论基于这种标签图将XML数据库映射成关系数据库。这种映射模式包括两个步骤,即属性映射和值映射。最后讨论在这种映射模式下,针对数据库的几种操作。     

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

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

基于模式图的规范化XML模式设计

在给定关系模式的属性集及其函数依赖最小覆盖集的基础上,提出一种基于模式图的规范化XML模式设计方法。定义了模式图,在模式图中增加了Keys的描述信息,给出由函数依赖集构造模式图的算法。该模式图独立于具体的XML模式语言,经分析证明,所设计的模式满足XNF。     

Characterisations of multivalued dependency implication over undetermined universes

In relational databases the original definition of a multivalued dependency is dependent on the underlying relation schema. In this context, the implication of multivalued dependencies has been characterised from multiple perspectives. Logically, it is equivalent to the logical implication of certain material implications in Boolean propositional logic. Proof-theoretically, the Chase procedure offers a convenient tool to decide implication. And algebraically, the implication can be characterised by the notion of closed attribute sets with respect to multivalued dependencies. The assumption of having a fixed underlying relation schema is not always feasible in practice, and also distinguishes multivalued dependencies from other classes of data dependencies. In this paper, we establish logical, proof-theoretical and algebraic characterisations for Biskup?s notion of multivalued dependency implication over undetermined universes. That is, we unburden the current theory of the assumption of having a fixed underlying relation schema. From the perspective of probability theory this means that is unnecessary to fix the set of discrete probabilistic variables in order to utilise conditional independencies.