关系数据库理论若干问题地研究.pdfVIP

关系数据库理论若干问题的研究 TheResearchOf Some TheoreticaIProblem jrl RelationaJDatabase 张忠平 陈予阳 (燕山大学信．岳科学与工程系泰主岛066004) On based and intec商amd Abstract砸1isis maltivalucd some com：eptprovides cOl3(珥0BIBI paper pf0M眦of forwardintcrrda∞d mulfivalucd mJtbmcdc,n dependency’S Simplification．andbrings i唧U∞曲Ⅱaad estabtishcsthetheoredcalfoundationoftheresemcchofmu[fivalued equlvak=ce． words：Mulfivalued Key Dependency,Simplification，Implication，Membership 0引言 定义1,3(MVDIliUm的闭包)设M 是属性集U上的一个MVD集，x邸，则 函数依赖(FunctionalDependeocy，简 x关于MVD属性集闭包)，可定义如下： 记为FD)和多值依赖(Multlvalued Dependency，简记为MVD)是数据库中比 较重要的两类效据依赖“】口1咖。在文献fl】 的并集l 中，对于前者有了较为详细的论述，也给 例1．1设M[_{A-+-‘忸c．D】卜p屺}是 出多值依赖的一些基本概念，为了迸一步 R=ABCDE上的—个MVD集，令X=A。 开展对多值依赖等价性的研究，本文将对 由MVD推导公理系统o”，可得如下推导 多值依赖的蕴涵和化简问题进行阐述。 过程： 1基本定义及符号 【l】^_—qC (已知) 定义1．1(依赖基)设M是R上的一 【2】^—DB (【lkMVD0) Fx 个MVD集，xc=R．并定义G=(Y：M 口】DB_+—·C (巳知) —-r·Yl，则称G的最小基集MBI(G)为x 14]^—C (脚，跚，hⅣ∞) 相对于该MVD集M的依赖基，记作 嘲A-州 (【1]。嗍．MVD5) DEPM(X)％ 陋1^—卜咽aDB (【11-【21．删)