结构建模代数方法在关系模式设计中的实现

运用结构建模数方法研究方法数据库设计中关系模式的规范分解，介绍了借助结构建模生成层次清晰的属性集结构的原理，分析了生成后的层次关系所蕴涵的关键字信息，关系模式信息和约束信息，由此给出了一种构造规范化的数据库关系模式的新方法，以炼油调度基础数据库为对象，演示了方法的具体实现，从而通过应用实例证实了该方法的简洁性有效性。     

模糊关系数据库系统中的函数依赖与多值依赖

用模糊关系数据模型来描述不分明的模糊数据是关系数据库理论发展中的一个重要的新课题。本文用模糊等价关系及其隶属函数来描述模糊函数依赖与多值依赖,看出经典数据依赖是模糊数据依赖的特例。并且证明相应于Armstrong公理的一套模糊数据依赖的推理规则是正确、完备的。     

基于函数依赖图的设计关系数据库模式的综合算法

本文详细讨论了函数依赖图的原理及基于函数依赖图求解ＥＫＮＦ（基本关键字范式）的数据库模式的综合算法。它对于给定的一关系数据库的一组函数依赖产生相应的ＦＤ图；基于此ＦＤ图，删除该ＦＤ图中的冗余复合节点、多余复合节点和冗余完全弧；从而得到一个ＬＲ最小ＦＤ图覆盖；并由此得出一个属于ＥＫＮＦ的较好的关系数据库模式。本文所述综合算法的时间复杂度为多项式的，因而在实践中有重要的实用价值。     

依赖推导算法的研究

本文根据函数依赖成立的条件，给出了在关系ｒ中单属性左部属性集的求解算法，进而出了在给定关系中成立的函数依赖集的一个覆盖。     

关系数据库设计中的关系模式的分解及其约束

关系模式分解是关系数据库应用设计的关键。论述了关系模式分解及其应遵循的两个重要约束特性：无损失连接性和保持函数依赖性。     

结构建模中区域划分的代数方法

针对现有结构建模区域划分方法的不足，基于将拓扑分析转化为代数分析的原理，指出区域划分的实质是要构造某种等价关系，该等价关系是元素不可分的充要条件．进而给出了充要条件定理．在此基础上提出了结构建模区域划分的代数方法．列出了代数方法的实施步骤，并通过一个具体示例的演示验证了该方法的简捷性和有效性     

结构建模中区域划分的代数方法

针对现有结构建模区域划分方法的不足，基于将拓扑分析转化为代数分析的原理，指出区域蚜分的实质是要构造某种等价关系，该等价关系是元素不可分的充要条件，进而给出了充要条件定量，在此基础邮结构建模区域划分的代数方程，列出了代数方法的实施步骤，并通过一个具体示例的演示验证了该方法的简捷性和有效性。     

在左边是单属性的函数依赖集中寻找关系模式候选码的算法

寻找关系模式的候选码是对关系进行规范化的重要步骤。各种参考资料虽然在寻找方面介绍了各种方法,但没有给出算法的实现。本文给出利用有向图的知识寻找一个关系模式的所有候选码的算法。     

标准函数依赖覆盖集及其求解算法

对函数依赖集进行优化数据库设计的重要环节。本文对数据库模式中函数依赖的标准函数依赖覆盖集进行了研究和对其内涵进行了分析,导出了求解标准函数依赖覆盖集算法,并给出了正确性证明。