Boyce Codd范式判定规则及方法的研究

文章研究了关系数据库规范化设计理论中的BCNF范式,阐述了BCNF的两种不同定义,使用函数依赖理论证明两种定义的等价性;从实例出发,分析BCNF具有的一般性质,探讨简便易行的BCNF判定规则;实现具备无损连接性的BCNF分解算法。

BC范式的判定定理及关系的规范化方法

在函数依赖的范畴内对关系模型的规范化理论及其运用问题进行了探讨 .首先证明了关于BC范式两个定义的等价性 ,然后提出关于BC范式的一个实用的判定定理并加以证明 ,最后系统地提出一整套实用的关系规范化的具体方法和步骤 .这些研究有助于关系规范化理论的进一步完善及其学习和运用 .

关系模式规范化的几个问题

本文讨论了关系数据库中实际数据依赖和用于规范化的函数依赖集之间的差异及过度规范化问题。研究了函数依赖集的闭包及Boyce-Codd范式的判定问题。提出了原子函数依赖集的概念,以此取代函数依赖集的闭包进行关系模式的规范化。并定义了一类对某NP-完全问题可解的实际问题。

Boyce-Codd范式的判定与分解

给定关系模式R和函数依赖集F，当X为R的一个真子集时，判定X关于F是否为Boyce－Codd范式（以下简记为BCNF）是NP完全的．这一问题的难点在于F在X上投影的计算，本文给出了计算函数依赖集投影的一个实用算法，将其用于BCNF的判定，并在此基础上建立了BCNF的一个无损分解算法．

关系模型规范化的有关理论与应用

在函数依赖的范畴内对关系模型的规范化理论及其运用问题进行了研究 ,证明了关于Boyce- Codd( BC)范式两个定义的等价性 ,提出了关于 BC范式的一个实用的判定定理并加以证明 .提出了一整套实用关系规范化的具体方法 。

范式应用

从五个实例出发介绍了数据库设计的第一范式、第二范式、第三范式、BCNF范式和第四范式的定义及达到各种范式的要求。