精华内容
下载资源
问答
  • 兹维 面向世界的纯函数依赖类型延迟评估逻辑编程语言
  • 函数依赖

    万次阅读 多人点赞 2019-06-07 15:17:57
    函数依赖是指关系中属性间(或者说是表中字段间)的对应关系。 定义:设 R 为任一给定关系,如果对于 R 中属性 X 的每一个值,R 中的属性 Y 只有唯一值与之对应,则称 X 函数决定 Y 或称 Y 函数依赖于 X ,记作 X—&...

    函数依赖是指关系中属性间(或者说是表中字段间)的对应关系。
    定义:设 R 为任一给定关系,如果对于 R 中属性 X 的每一个值,R 中的属性 Y 只有唯一值与之对应,则称 X 函数决定 Y 或称 Y 函数依赖于 X ,记作 X—>Y。其中,X 称为决定因素。
    通俗一点,就是给定一个 X 都有唯一的 Y。可以理解为函数 y = f(x); 对于任意的 x 都有唯一的 y ,且 y 的取值由 x 决定。
    例如:学生号—>学生姓名,学生年龄等等有关该学生的所有信息
    反之,像学生姓名不能决定唯一的学生,因为存在同名的可能,这种情况就不能称作函数依赖。
    根据函数依赖性质可分为以下三种:

    • 完全函数依赖
      • 书上定义的意思基本是:如果存在 X 属性集(注意是集合,说明是联合主键)决定 唯一的 Y ,且 X 中的任一子集都不能决定 唯一的 Y,则 Y 完全依赖于 X。
      • 例如:学生数学成绩完全由该学生的学号和数学课决定,所以数学课成绩完全依赖于(学号,数学课)
    • 部分函数依赖
      • 定义和完全函数依赖有一点不一样,就是 X 的属性集中任一子集可以决定唯一的 Y
      • 例如:学生学号和姓名可以决定唯一的学生,但是学生号也可以决定唯一的学生
    • 传递函数依赖
      • 定义:设 R 为任一给定关系, X Y Z 为其不同的属性子集,若 X —> Y, Y 不决定 X 且 Y —>Z,则有 X —>Z,称为 Z 传递函数依赖于 X
      • 例如:书的出版编号是唯一,版权归出版社所有,所以只能由该出版社出版。所以存在函数依赖:书出版编号—>出版社名,出版社名—>出版社地址,但是出版社名不能决定唯一的出版书编号(除非出版社只出版过一本书,那我没话说?),则有出版社地址传递函数依赖于出版书编号

    理解好函数依赖,对于理解关系数据库的三范式起到关键作用。

    展开全文
  • 数据依赖指的是通过一个关系中属性间的相等与否体现出来的数据间的相互关系,其中最重要的是函数依赖和多值依赖。 2.函数依赖 设X,Y是关系R的两个属性集合,当任何时刻R中的任意两个元组中的X属性值相同时,则它们...
     
     
    

    1.数据依赖

    数据依赖指的是通过一个关系中属性间的相等与否体现出来的数据间的相互关系,其中最重要的是函数依赖和多值依赖。

    2.函数依赖

    设X,Y是关系R的两个属性集合,当任何时刻R中的任意两个元组中的X属性值相同时,则它们的Y属性值也相同,则称X函数决定Y,或Y函数依赖于X。

    3.平凡函数依赖

    当关系中属性集合Y是属性集合X的子集时(Y?X),存在函数依赖X→Y,即一组属性函数决定它的所有子集,这种函数依赖称为平凡函数依赖。

    4.非平凡函数依赖

    当关系中属性集合Y不是属性集合X的子集时,存在函数依赖X→Y,则称这种函数依赖为非平凡函数依赖。

    5.完全函数依赖

    设X,Y是关系R的两个属性集合,X’是X的真子集,存在X→Y,但对每一个X’都有X’!→Y,则称Y完全函数依赖于X。

    6.部分函数依赖

    设X,Y是关系R的两个属性集合,存在X→Y,若X’是X的真子集,存在X’→Y,则称Y部分函数依赖于X。

    7.传递函数依赖

    设X,Y,Z是关系R中互不相同的属性集合,存在X→Y(Y !→X),Y→Z,则称Z传递函数依赖于X。

    函数依赖 
    设R(U)是一个属性集U上的关系模式,X和Y是U的子集。 
    若对于R(U)的任意一个可能的关系r,r中不可能存在两个元组在X上的属性值相等, 而在Y上的属性值不等, 则称 “X函数确定Y” 或 “Y函数依赖于X”,记作X→Y。 
    X称为这个函数依赖的决定属性集(Determinant)。 
    Y=f(x) 
    说明: 
    1. 函数依赖不是指关系模式R的某个或某些关系实例满足的约束条件,而是指R的所有关系实例均要满足的约束条件。 
    2. 函数依赖是语义范畴的概念。只能根据数据的语义来确定函数依赖。 
    例如“姓名→年龄”这个函数依赖只有在不允许有同名人的条件下成立 
    3. 数据库设计者可以对现实世界作强制的规定。例如规定不允许同名人出现,函数依赖“姓名→年龄”成立。所插入的元组必须满足规定的函数依赖,若发现有同名人存在, 则拒绝装入该元组。 
    例: Student(Sno, Sname, Ssex, Sage, Sdept) 
    假设不允许重名,则有: 
    Sno → Ssex, Sno → Sage , Sno → Sdept, 
    Sno ←→ Sname, Sname → Ssex, Sname → Sage 
    Sname → Sdept 
    但Ssex -\→Sage 
    若X→Y,并且Y→X, 则记为X←→Y。 
    若Y不函数依赖于X, 则记为X-\→Y。 
    在关系模式R(U)中,对于U的子集X和Y, 
    如果X→Y,但Y 不为 X的子集,则称X→Y是非平凡的函数依赖 
    若X→Y,但Y 为 X的子集, 则称X→Y是平凡的函数依赖 
    例:在关系SC(Sno, Cno, Grade)中, 
    非平凡函数依赖: (Sno, Cno) → Grade 
    平凡函数依赖: (Sno, Cno) → Sno 
    (Sno, Cno) → Cno 
    部分函数依赖: 若x->y 并且,存在X的真子集x1,使得x1->y,则 y部分依赖于 x。 
    完全函数依赖:若x->y并且,对于x的任何一个真子集x1,都不存在x1->y 则称y完全依赖于x。 


    逻辑蕴含 举个例子: 
    y=f(x) 
    省=f(城市) 
    只要给出一个具体的城市值,就会有唯一一个省值和它对应,如"武汉市"在"湖北省".这里的"城市"是自变量x,"省"是因变量或函数值y.把x函数决定y,或y函数依赖于x表示为:x→y 
    设有关系模型R(A1,A2,...An),X和Y均为{A1,A2,..An}的子集,r是R的任一具体关系,t1,t2是r中的任意两个元祖.如果由t1[X]=t2[X]可以推导出t1[Y]=t2[Y],则称X函数决定Y,或Y函数依赖于X,记为X→Y.

    你所问的码是说主码与候选码么?

    主码 
    我们在建立数据库的时候,需要为每张表指定一个主键,所谓主键就是能够唯一标识表中某一行的属性或属性组,一个表只能有一个主键,但可以有多个候选索引。因为主键可以唯一标识某一行记录,所以可以确保执行数据更新、删除的时候不会出现张冠李戴的错误。当然,其它字段可以辅助我们在执行这些操作时消除共享冲突,不过就不在这里讨论了。主键除了上述作用外,常常与外键构成参照完整性约束,防止出现数据不一致。所以数据库在设计时,主键起到了很重要的作用。 
    常见的数据库主键选取方式有: 
    自动增长字段 
    手动增长字段 
    UniqueIdentifier 
    “COMB”类型
    候选码:除了主码,全码里面剩下的码!

    展开全文
  • 函数依赖和范式

    千次阅读 2018-12-13 18:25:29
    一、函数依赖概念 1、函数依赖概念:相当于数学中的函数,U是属性全集,x和y是U上的子集,x对应唯一确定的y,即x->y(y依赖于x)。 2、完全依赖和不完全依赖:U是属性全集,x和y是U上的子集,x1是x的真子集...

    一、函数依赖概念

    1、函数依赖概念:相当于数学中的函数,U是属性全集,x和y是U上的子集,x对应唯一确定的y,即x->y(y依赖于x)。

    2、完全依赖和不完全依赖:U是属性全集,x和y是U上的子集,x1是x的真子集,如果x->y,且x1不能确定y,则是完全函数依赖,反之x1->y,则是不完全函数依赖。

    3、传递依赖:U是属性全集,x、y和z是U上的子集,x->y(但是y不能确定x),y->z,则x->z。

    二、范式

    作用与背景:消除关系模式的数据冗余,解决删除和插入操作的异常。从而为不同程度的规范化设立不同的标准。

    1NF:属性不能再拆分。举一个反例,关系模式R(身份,身体状况),明显身份可以拆分为姓名,编号等,所以不是第一范式。

    2NF:非主属性完全依赖于码。举一个反例,关系模式R(姓名,学号,班级编号,班级名),满足1NF,候选码为学号和班级编号,(学号,班级编号)->姓名,(学号,班级编号)->班级名,但是学号->姓名,班级编号->班级名,所以不是第二范式。(通过完全依赖概念得出)

    3NF:非主属性不传递依赖于码。举一个反例,关系模式(姓名,学号,班级,班主任),满足2NF,,主键是学号,但是学号->班级,班级->班主任,得出学号->班主任,所以不是第三范式。(通过传递依赖概念得出)

    BCNF:消除主属性对码的部分依赖和传递依赖。反例不好举出,凑一个吧,满足3NF,关系模式(姓名,学号,学科号,成绩),假设名字没有重复,得出依赖姓名->学号,学号->姓名,(学号,学科号)->成绩,(姓名,学科号)->成绩,可以看出主属性对码的部分依赖,达不到BCNF。

    总结:一般达到3NF可在市场流通。

    4NF:满足BCNF,消除“多对多”的关系模式。

    如:“多对多”模式

    可以看出学号,姓名,课程编号,课程名称重复,数据冗余,可以化为“一对多”的模式,从而实现4NF。

              

    学生信息表(左)和选课表(右)(一对多)

    课程表(左)

     

    展开全文
  • 数据库函数依赖名词的解释

    千次阅读 2020-06-18 15:17:06
    平凡函数依赖:当属性集Y是属性集X的子集时,必然存在函数依赖X→Y,这种类型称为平凡的函数依赖 有函数A、B,B是A的子集(即B里面的内容,A都有,但A的内容B不一定有),即一定有 A → B 非平凡函数依赖:如果Y...

    函数依赖:函数依赖是关系模式中属性之间的一种逻辑依赖关系

    假设有A、B两个函数,A → B(A 决定 B,即A推出B,也叫做B函数依赖于A)

    平凡函数依赖:当属性集Y是属性集X的子集时,必然存在函数依赖X→Y,这种类型称为平凡的函数依赖

    有函数A、B,B是A的子集(即B里面的内容,A都有,但A的内容B不一定有),即一定有 A → B

    非平凡函数依赖:如果Y不是X的子集,则X→Y为非平凡的函数依赖

    有函数A、B,B是A不是B的子集(也就是B里面至少有一些属性是A没有的),还有 A → B,即这种类型叫做非平凡函数依赖

    部分函数依赖:X的某个真子集X’,有X’→Y,则称Y对X部分函数依赖

    {A, B} = X, X → Y,A → Y or B→ Y ,一个整体能推出一个函数,整体中的部分也可以推出一个函数,即这就是部分函数依赖

    完全函数依赖:X的任何一个真子集X’,都没有X’→Y,则称Y对X完全函数依赖

    {A, B} = X, X → Y,但X的部分属性,A、B并不能推出一个函数,只有整体的时候能,这就是完全函数依赖

    传递函数依赖:若X→Y,没有Y→X,Y→Z,Y∉X,Z∉Y,则称Z对X传递函数依赖

    范式:把关系模式规范化过程中为不同程度的规范化要求设立的不同的标准称为范式

    无损连接分解:将泛关系模式R分解成数据库模式ρ,则称分解ρ相对于函数依赖集F是无损连接分解

    题目一般都是给所有属性,分解后的p,还有函数依赖给你,让你求是否是无损连接分解

    保持函数依赖分解:把R分解成R1,R2,…,Rk后,函数依赖集F应被F在这些Ri上的投影所蕴含,则称分解ρ是保持函数依赖集F的分解

    这个也是给分解后的,然后让你求是否是保持函数依赖


    欢迎大家关注下个人的「公众号」:独醉贪欢

    展开全文
  • 数据库(笔记)——函数依赖

    千次阅读 多人点赞 2020-08-15 10:01:01
    函数依赖函数依赖的定义函数依赖的逻辑蕴涵逻辑蕴涵闭包函数依赖的推导规则完全函数依赖与部分函数依赖完全函数依赖部分函数依赖传递函数依赖候选键在函数依赖中的定义总结 函数依赖的定义 定义 函数依赖是关系模式...
  • 函数依赖及数据库范式

    千次阅读 2016-02-16 12:21:41
    1、函数依赖  (1)简介  定义:设U{A1,A2,…,An}是属性集合,R(U)是U上的一个关系,x、y是U的子集。若对于R(U)下的任何一个可能的关系, 均有x的一个值对应于y的唯一具体值,称y函数依赖于x,记作x→y...
  • [模式]函数依赖

    千次阅读 2014-11-19 10:35:30
    函数依赖简单地说就是属性集A推导出属性集B,比如给定这些规则之后,如果某个关系能够满足给定的函数依赖,则称关系R满足函数依赖F; 在下面我们会介绍一系列的范式以及分解算法; 函数依赖的分解合并规则 与 是...
  • 数据库之函数依赖、多值依赖

    万次阅读 2019-04-30 19:31:57
    一、函数依赖(Functional Dependency)的概念 函数依赖是数据依赖的一种,它反映属性或属性组之间依存,互相制约的关系,即反应现实世界的约束关系。 设R(U)是属性U上的一个关系模式,X和Y均为U={A1 , A2 , . ....
  • 数据库关系模式的函数依赖习题讲解

    万次阅读 多人点赞 2020-05-15 16:45:10
    设有关系模式 R(职工名,项目名,工资,部门名,部门经理) 如果规定,每个职工可参加多个项目,各领一份工资;每个项目只属于一个部门管理;...>设有关系模式R(A,B,C,D,E),其函数依赖集为F={A→B,C
  • 目录数据库系统原理-函数依赖和关系模式分解第一范式如何处理非原子值原子性关系数据库设计中易犯的错误模式分解无损连接分解优化关系模式的步骤函数依赖函数依赖定义函数依赖的使用函数依赖集的闭包Armstrong公理...
  • 最近在学数据库原理,关系规范化中介绍了几个算法,最基础也最重要的就是求属性集X关于某个函数依赖集合F的闭包。 /*8周的功夫一本数据库基本原理就学完了,很快要考试了,所以5-1假期也没打算出去玩,就在学校了...
  • 函数依赖与关系模式分解的一些技巧整理

    万次阅读 多人点赞 2018-01-21 19:58:27
    函数依赖与关系模式分解的一些技巧整理 关系数据库设计理论的核心是数据间的函数依赖,衡量的标准是关系规范化的程度及分解的无损连接性和保持函 数依赖性。 数据依赖是通过一个关系中属性间值的相同与否体现...
  • 【数据库复习】函数依赖

    千次阅读 2018-11-10 10:58:05
    【数据库复习】函数依赖
  • 函数依赖和关系模式分解

    千次阅读 2020-06-23 10:11:40
    文章目录一,第一范式关系数据库设计中易犯的错误数据冗余插入、删除、修改异常模式分解函数依赖(FD)函数依赖的使用函数依赖集的闭包Armstrong 公理计算 F^+^属性集的闭包属性闭包的用途正则覆盖无关属性检测属性...
  • 数据库 - 关系模式函数依赖

    万次阅读 2015-05-07 09:09:45
    若X→Y,但Y不完全函数依赖于X,则称Y对X部分函数依赖,记作X P Y。 [例1] 中( Sno , Cno )→ Grade 是完全函数依赖, ( Sno , Cno )→ Sdept 是部分函数依赖 因为 Sno → Sdept 成立,且 Sno 是( Sno ...
  • 给出存在的函数依赖 C.将此表换成一张或多张 BCNF 和4NF的表,并指出它们的主关键字,候选关键字,外键及引用完整 性约束。 刚学数据库,不会做,哪位朋友能给我点解题思路 。晚辈在此先谢过了!
  • 什么是函数依赖

    千次阅读 2009-11-28 01:51:00
    一、函数依赖概念 函数依赖是从数学角度来定义的,在关系中用来刻画关系各属性之间相互制约而又相互依赖的情况。函数依赖普遍存在于现实生活中,比如,描述一个学生的关系,可以有学号、姓名、所在系等多个属性,...
  • 如果我们要设计关系型...给定这些规则之后,如果某个关系能够满足给定的函数依赖,则称关系R满足函数依赖F;   在下面我们会介绍一系列的范式以及分解算法;   函数依赖的分解合并规则   与
  • 关系规范化之求最小函数依赖集(最小覆盖)

    万次阅读 多人点赞 2016-04-25 10:02:53
    最小函数依赖集 一、等价和覆盖  定义:关系模式R上的两个依赖集F和G,如果F+=G+,则称F和G是等价的,记做F≡G。若F≡G,则称G是F的一个覆盖,反之亦然。两个等价的函数依赖集在表达能力上是完全相同的。   二、...
  • 令G=F1 U F2 U F3...U Fk(多个函数依赖集合求并集),若F+==G+(其实就是如果G等于F)的话,则分解p保持函数依赖。 实质: G=F1 U F2 U F3...U Fk,判断G和原函数依赖F是否等价 输入:R上的函数依赖集F以及R的一个...
  • 数据库 函数依赖及范式(最通俗易懂)

    千次阅读 多人点赞 2019-06-04 19:49:00
    数据库 函数依赖及范式(最通俗易懂) 一、基础概念 要理解范式,首先必须对知道什么是关系数据库,如果你不知道,我可以简单的不能再简单的说一下:关系数据库就是用二维表来保存数据。表和表之间可以……(省略...
  • 教你如何判断无损连接和函数依赖

    千次阅读 2013-06-30 23:38:44
    教你如何判断无损连接和函数依赖 无损分解和保持依赖的判断 大部分是对一个关系模式分解成两个模式的考察,分解为三个以上模式时无损分解和保持依赖的判断比较复杂,考的可能性不大,因此我们只对“一个关系模式...
  • 无损连接性、保持函数依赖

    千次阅读 2010-03-17 17:24:00
    无损分解和保持依赖的判断大部分是对一个关系模式分解成两个模式...以下的论述都基于这样一个前提:R是具有函数依赖集F的关系模式,(R1 ,R2)是R的一个分解。首先我们给出一个看似无关却非常重要的概念:属性集的闭包
  • 用c++求数据库中函数依赖集的闭包

    千次阅读 2016-05-24 17:49:48
    由于数据库作业要求用程序求一个函数依赖集中属性集的闭包和此依赖集的闭包,便用c++写了这个程序,刚好在这分享给大家,代码写得丑,望大家勿喷。
  • 关系型数据库、范式、函数依赖

    千次阅读 2013-10-07 20:15:54
    包括的小概念:(1)关系名:也就是我们常用的表名、(2)属性名:表中列名、(3)关系模式(Schema)和关系:关系模式是描述关系的静态结构、有模式名、关系模式所包含的属性(属性名、属性类型、属性(完整约束...
  •  逻辑蕴含:设F是关系模式R(U)的函数依赖集合,由F出发,可以证明其他某些函数依赖也成立,我们称这些函数依赖被F逻辑蕴含 。"F蕴含X → Y"意味着关系实例只要满足F就满足 X→Y。  例如,设F={ A→B,B→C }...
  • 数据库范式及函数依赖

    万次阅读 2010-09-10 21:19:00
     函数依赖中还可细分为多种函数依赖,分别介绍如下:       二、部分函数依赖     设R(U)是属性集U上的关系,x、y是U的子集,x’是x的真子集,若x→y且x’→y,则称y部分依赖x,记作X→PY。显然,当且仅当...

空空如也

空空如也

1 2 3 4 5 ... 20
收藏数 567,754
精华内容 227,101
关键字:

函数依赖的类型