188体育博彩

咨询电话:

联系人:

电子邮件:

地址:

编程
当前所在位置: 首页 > 编程>

数据库 函数依赖 举例

发布时间:2020-1-9 作者:admin 来源:网络 阅读:0次

       五、完整函数依赖和有些函数依赖1、函数依赖分成完整函数依赖和有些函数依赖2、界说:在R(U)中,如其X→Y,而且对X的任何真子集X都有XY,则称Y完整依赖于X,记作X→Y;要不,如其X→Y,且X中在一个真子集X,使X→Y建立,则称Y有些依赖于X。

       在瓜葛模式R(U)中,如其X→Y,而且在X的一个真子集X0,使X0→Y,则称Y对X有些函数依赖。

       例如表1.2所示系瓜葛中:如其系名值是绝无仅有,即各系名均不一样,那样有函数依赖集:系代码→系名,系代码→系地址,系代码→系电话,系代码→系专业设立。

       若对R(U)的肆意一个可能性的瓜葛r,r中不得能性在两个元组在X上的特性值相当,而在Y上的特性值不等,则称X函数规定Y或Y函数依赖于X,记作X→Y。

       BCNF,瓜葛模式R属1NF,若X-->Y且Y不真含于X时X必含有码,则R属BCNF。

       例如职工信息表中加上了职工编号(emp_id)列,因每个职工的职工编号是绝无仅有,故此每个职工得以被绝无仅有区别。

       这么,鉴于还没"学号"关头字,课程名目和学分也没辙记要入数据库。

       二、Armstrong正理1、定律4.3.1:若U为瓜葛模式R的特性全集,F为U上的一组函数依赖,设X、Y、Z、W均为R的子集,对R(U,F)有:F1(自反性):若X≥Y(表X含Y),则X→Y为F所蕴涵;(F1:X→X)F2(增广性):若X→Y为F所蕴涵,则XZ→YZ为F所蕴涵;(F2:XZ→Y)F3(传接性):若X→Y,Y→Z为F所蕴涵,则X→Z为F所蕴涵;F4(伪增性):若X→Y,W≥Z(表W含Z)为F所蕴涵,则XW→YZ为F所蕴涵;F5(伪传性):若X→Y,YW→Z为F所蕴涵,则XW→Z为F所蕴涵;F6(合成性):若X→Y,X→Z为F所蕴涵,则X→YZ为F所蕴涵;F7(说明性):若X→Y,Z≤Y(表Z含于Y)为F所蕴涵,则X→Z为F所蕴涵。

       2、Armstrong正理:推导守则F1、F2、F3合称Armstrong正理;F4∽F7可由F1、F2、F3推得,是Armstrong正理的推论有些。

       平常BC范式的环境有多种等价的表述:每个非平凡依赖的左首务须含键码;每个决议因素务须含键码。

       2.如其R∈3NF,且R除非一个候选码,则R∈BCNF

       富源描述:2019/5/30,南晓数信院,1,第2讲函数依赖的正理体系,讲课人李朔Emailchn.nj.lsgmail.com,2019/5/30,南晓数信院,2,要紧情节,阿姆斯特朗正理及推论X有关F的闭包及其划算最小函数依赖集候选键的求解法子,2019/5/30,南晓数信院,3,一、阿姆斯特朗正理及推论,是一连串推理守则最早现出时1974年W.W.Armstrong的舆论里人家于1977年提出改善式,F\uf0efX→Y,侯选键,X→Y在R中是不是建立,,能从F导出的一切X→Y,推理工具,情况引入,2019/5/30,南晓数信院,4,1、阿姆斯特朗正理,设有瓜葛模式RU,F,U,求R的一切候选键。

       如其ABDC好坏必需的,则C∈。