数据相关是关系数据模型中描述数据之间联系的一类完整性约束条件，通常通过数据之间值的相等与否来体现。数据相关包括函数相关、多值相关、互连相关和连接相关等，最常用的是前两种。关系数据理论的研究以关系数据模型为背景。因关系数据模型可以等价地转换为其他数据模型，故关系数据理论的研究具有普遍意义。关系数据理论中数据相关的理论，用明确的概念来描述和分析数据模型中数据关联这一类特殊的完整性约束。这是形式语义的一种方法，规范化的概念和范式的定义给出了判别模式好坏的准则，使数据库设计有了评价模式的理论依据。模式分解的概念和算法，又为数据库设计提供了辅助设计的工具。关系数据理论不仅是数据库的理论基础，而且是数据库设计的指南和工具。数据相关是语义范畴的概念。但是，为了形式推理的需要，这些数据相关都有严格的形式定义。例如，R（U）是属性集U上的一个关系模式，X、Y是U的子集。对于R（U）的任何一个可能的关系r，若r中不可能有两个元组在X属性值相等而在Y中的属性值不等，则称X函数决定Y或Y函数相关X，记作X→Y。