一个基于关键字有向图的BCNF分解新算法

FD集中根据左部等价形成划分，划分的各子集根据左部的依赖关系形成一个有向图，有向图中每一个节点的FD可能是一个符合BCNF的子模式的FD，其关键字就是各子集的等价左部。     

基于超图的BCNF的判定算法

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

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

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

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

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

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

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