多值依赖无分裂覆盖问题的研究.pdfVIP

复 旦 学 报（自然科学版） 第 卷 142 42 文章编号： （ ） 0427-7 104 2003 02-0208-07 。 多值依赖无分裂覆盖问题的研究 ， 1 2 1 张忠平 ，朱扬勇 （ 复旦大学 计算机与信息技术系，上海 ； 燕山大学 信息科学与工程学院，河北 秦皇岛 ） 1. 200433 2 . 066004 摘 要：基于函数依赖规范化理论及多值依赖基本概念，给出了多值依赖的分裂、无分裂多值依赖集等定义，提 出了满足无分裂多值依赖集的良好特性，以及无分裂多值依赖集的判定算法，并且提出分裂多值依赖集存在无 分裂覆盖满足的条件及其算法. 这对于多值依赖集化简、规范化设计和无环数据库设计提供了理论基础. 关键词：多值依赖；冗余覆盖；分裂；无分裂多值依赖集 中图分类号： 文献标识码： T P 393 A ［］ 1 在关系模式分解中，范式的级别取决于模式属性之间的依赖关系 ，形式上讲，与属性分布在依赖关 系中的位置有关 许多学者基于此，对泛关系进行了深入的研究，提出了第 范式（ ， . 1 First NormaI Form ）、第 范式（ ， ）、第 范式（ ， ）等一系列规范化理论 1NF 2 Second NormaI Form 2NF 3 T hird NormaI Form 3NF . ［］ 1 这些理论都是基于函数依赖的研究，在多值依赖 （ ， ）问题上还未深入研究 MuItivaIued De endenc M VD . p y 对应于现实世界中的语义相关属性若分布在不同关系模式中，时常会破坏其语义的完整性，对数据库的设 ［，］ 计会造成一定的影响1 2 . 实际上，这是属性被分裂造成的，本文针对多值依赖中属性分裂问题进行探讨. 1 基本定义及符号 定义 （分裂） 〈 ， 〉为一关系模式， 为属性集， 为多值依赖集 ! R U M U M . （）设 （ ）是 集 中的一个 ， 为一属性子集，如果存在属性 1 X～～ Y X n Y = M VD M M VD Z C U ， ，使