数据依赖，数学概念，是通过一个关系中属性间值的相等与否体现出来的数据间的相互关系，数据依赖是现实世界属性间相互联系的抽象，属于数据内在的性质。在计算机科学中，数据依赖是指一种状培关至阳程脸盐等态，当程序结构导致数据引用之前处理过的数据时的状态。在编译学中，数据依赖是数据分析的一部分。

• 中文名 数据依赖
• 定义 数学概念
• 体现 体现出来的数据间的相互关系
• 位置 数据分析的一部分

数学定义

境优她井父手　　定义:设有一关系模式R(A1,A2,…,An),X和Y均为(A1,A2,…,An)的子集，对于R的值r来说，当其中任意两个元组u,v中对来自应于X的那些属性分始多油探末因孙兵附早们量的值均相等时，则有u,v中对应于Y的那些属性分量的值也相等，称X函数决定Y，或Y依赖于X，记为X->Y。

　　例:有关系，学生(学360百科号S#，姓名SN，系名SD)，子集X(学号S#)，子集Y(系名SD)。

　　每个学生有唯一的一个学号，部丝曲船杀学生中可以有重名的姓名，讨够船停儿每个学生只能属于一个系，每个系有唯一的系代号。有此，可以找出学生关无石务情镇迅收论村短系模式中存在下列函数依赖:

　　凯百约S#->SN;S#->SD

　　例:有关系，学校简况(师沿试学号S#，系名SD，系主任MN，课程CN，成绩G)。可写出函数依赖:

　　入答居S#->SD;SD->MN;S#,CN->G

　　根据函数依赖的不同性质，函数依赖可分为完全函数依赖、部分函数依赖和传递函数依赖。

　　2.2 完全函数依赖

　　定义:在R(U)中，如果X->Y，赵使角对于X的任意一个真子集X',供考事系占粉个告红难导都有X'不能决定Y，则称Y对X完全函数依赖，记为XY 。

灯担夫古动选　　例:(S#,CN)->G

　　2.3 部分函数依赖

　　定义:在R前首扬(U)中，如果X-> Y，但Y不完全函数依赖于X，则称Y对X部分函数依赖。

　　2.4 传递函数依赖

　　定义:在R(岩地市已书U)中，当且仅当X-> Y，Y->Z时，称Z对X传递函数依赖。

　　例:描述学生(S#)、班级(SB)、辅导员(TN)的关系U(S#,SB,TN)湖神木微预若班批甚胶。一个班有若干学生，一个学生只属于一个班席迫执六古服，一个班只有一个辅导员，但一个辅导员负责几个班。根据现实世界可得到一组函数依赖:

　　F={S#->SB，SB->TN}

　　学生学号决定了所在班级，所在班级决定了辅导员，所以辅导员TN传递函数依赖于学生学号S#。

　　数据依赖还再问达季光报相律沙包括多值依赖和连接依赖两种形式。

　　--------------------------------------------------------------------------------------------------

计算机学定义

　　数据依赖是指一种状态，当程序结构导致数据引用之前处理过的数据时的状态。在编译学中，数据依赖是数据分析的一部分。

　　解说:假设有如下表脱划紧述S1和S2，

　　(I (S吸善理简迅过应1) ∩ O(S2)) ∪ (O(S1) ∩ I(S2)) ∪ (O(S1) ∩ O(S2)) ≠ Φ

　　那么S2依赖S1。I(Si)是内存位置的集合，可由Si和S2读

　　O(Sj)是内存地址的集合，由Sj写，

　　则这里S1和S2就有一个必须遵守的执行顺序。

种类

　　数据依赖有三种，

　　1. 流依赖(flow dependency)，一个变量在一次表达式中赋值或修改然后用在后来的另一个表达式中。例

　　a=b*c

　　...

　　d=a-e

　　2.反依赖(anti depend来自ency)，一个变量在一个表达360百科式中被使用然后在后来一个表达式中被修改赋值。例

　　a=b*c

　　......

　　心背案德奏b=d+e

　　3.输出依赖，一个变量在一表达式中被修改赋值然后又排因讲在后来另一个表达式中被修改值，例

　　a=b+c

　　......a=d-e