关系模式中函数依赖与多值依赖之间的关系.pdfVIP

维普资讯 摹9喜 第3期 苏 州 大 学 学 报 (自拣科学) V神．9Ho 3 1993丰 7月 JoUl{ AL0F SUZ “0U UNtVERs|TY( ATUnAL SC儿￡NCE) JnL1593 唐 东 兴 计(算机工程秉) TP3f『、 摘 要：在关系数据库模型中。像粮条件是对数据库中的数据的一种限 l ‘ 。 制 与约束．最一觳 的依赖是函数依晕矗(FDS)和多值依躺 (MvDs)．关系模型 的分解均是 以函数依柚与 多值依螭 为基础 的．然而至今还很 少有人对 这两 种函数依赖之 间的美系进行研 完．本吏阐述 了FDS与 MVDS两者之 间王 相 制约的关系 务模式 ， 关键词r托 一尚是，亟墼 ～ 翼参 教堆型 1 引 言 一 我慨倔设读者 已经了解了甍象数据库的一些基本概念 ．所以一些有关 的球 语蓐定义简略 (详见参考文献)．． 设 R是关系模式．一个MV．DSx _÷Y是非平凡的是指：Y≠ ，Y x同时 z：R—x—Y ≠⑦．既然x_÷ Y成立当且仅当X--) z成立，所 以我们指关系模式中含有多值依赖． FDS是一种特殊的MVDS．在本文中称一个MVDS是异常的是指：要么x_÷ Y是x Y 或者 z=⑦ (z=R—x—Y)，否则称MVDS是非异常的MVDS．参考文献中已给出了一套充备 有效的公理系统 (Armstrong公理系统)．为下文之需，这里我们仅给出有关 MVDS的几个公 理． 增广公理 如果 x_寸_÷Y．V w 同时成立 ，那么 XW--)--)YV． 合并公理 如果 X一-)一÷Y，V呻w 同时成立 ，其中w YVNY=⑦ ，那么 x w． 混合伪传递公理 如球 x 一，Y，XY--)W 同时成立 ，那么x_÷w—Y． 2 非异常的MVDS对 FDS的制约 引理 1 设x Y，z—R--y—x是非异常的MVDS，则对每个FDS：z Y有 z—nY≠ 0 (z R)成立． 证 如果 z。_}Y，znY— 同时成立，则 由于 x-}-}Y，z。-}Y，由合并公理知 x-}Y成 立，这与x--)_÷Y是非异常的MVDS相矛盾，所 以z。nY≠ ． 例 l 设关系模式R(ABC，F．MVF)，其中F是函数依赖集，MVF是多值依赖集，且 A_÷ _÷B∈MVF．则 由引理 1钉_函数决定 B的属性集 只可能是 AB．BC，ABC，从而就无需使用 收* 日朋 |l99l—I)8一l3 维普资讯 第 3期 东*：关系模式中面敦畋l曼与事值畋幢之间的关景 Armstrong公理系统 去求 A 、C7 (AC) 再判别 B是否包含其 中．当然对属性 C也 同样如 此． 定理 1 设 K是 R的一个键非异常的MVDS,X-9-~Y在 R中成立，则Kny≠ 同时K nz≠ ． 证 因为K是 R的一个键 +显然 K-÷Y，K-÷z同时成立 ，又x-÷-÷Y是非异常MVDS，当 且仅当x-9-9Z成立，由引理 l知KnY≠ 与Knz≠ 同时成立． 例 2 设关系模式RIA c，F，MVF)，多值依赖集MVF={A-÷-÷B，A 一÷c)．我们无需 知F的具体内容 由定理 l直接知道，R可能的键是ABc，Bc，而AC，AB肯定不会是R的键． 推论 如果X-9--)~是非异常MVOS，则不可能是超键 。XZ亦不可能是超键 ． 引理2 设R是一个关系摸式，z-÷Y，X-÷-÷Y是非异常MVDS，Y=z。～Y，Yl=ZnY， 则必存在FDS